The user-agent not doing what the user wants is not a user-agent. I recently wanted to edit a Firefox theme to highlight the active tab more strongly. Surpris

The user-agent not doing what the user wants is not a user-agent. I recently wanted to edit a Firefox theme to highlight the active tab more strongly. Surprise! To install extensions not signed by Mozilla, you need Firefox Developer Edition. Because a configuration option would make it too easy.