Rated 5 out of 5 stars

Works like a charm here, even with my idiosyncratic, userchrome-altered theme. Causes no interference with the 'Toggle the Bookmark Toolbar' button that I am so fond of, either. Nice work.

This review is for a previous version of the add-on (4.0).