Rated 5 out of 5 stars

Very good extension! I use the auto hide setting. It happened once that the auto hide didn't work, but only once. I hope it won't happen again because I really love this setting, it makes me use less clicks.

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