By default, this patch does not change any behavior. Only when the Extensions Button is hidden, then this replaces the current generic "Add-ons and Themes" option with the "Extensions" menu, which opens the Extensions Panel. Differential Revision: https://phabricator.services.mozilla.com/D248161