Rated 5 out of 5 stars
I spend a lot of time in the Add-ons Manager (add-on junkie) and that bug is very annoying especially when you have a lot of add-ons installed.
Thanks sincerely for writing this.
I've been using Stay-Open Menu for a while and that too is a very useful and appreciated extension.
Keep them coming. :)