Rated 4 out of 5 stars

by bmn28 on Nov. 7, 2015 ·

For some reason, this extension has started replacing the tooltip for each tab with the name of the current profile.

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