It's the little things in life... Assegnate 5 su 5 stelle
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. :)