Great time-saver Rated 5 out of 5 stars
Wonderfully easy way to get to extension options. Can this be made compatible with Personal Menu? If you have Personal Menu installed, the default setting (integration with the Add-Ons menu entry--which looks great, from screenshots) causes "Add-Ons" to disappear from the menu. Fortunately, I know how to get back to Add-Ons (about:addons) to change the default, but, still, it was very disconcerting. Great effort!This review is for a previous version of the add-on (1.22).
I had a quick look at Personal Menu. It is a fairly complex extension. It looks like it regenerates the menu every time it is opened. I don't see an easy way to integrate the two. The best thing I can come up with is, you can add the 'Extension Options' menu from the tools menu, but it will be a separate entry instead of the split menu like the screenshots.