Extensions Button Stopper

John Factotum

Prevent the Extensions button from opening the Add-ons Manager when you have no extensions or have pinned all extensions