disabling buttons in other themes == very bad choice Rated 5 out of 5 stars

... but the "experimental" 0.9.9 version appears to work with other themes again; I'm a happy user again :D

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