Comment by ahartmetz

The extensions are of course one of my reasons for using Firefox. I'm occasionally mildly annoyed by the auto-hiding address bar, but didn't know that it's configurable, so thanks - I've changed the setting!