Hola, solo comentar que es posible cambiar el user-agent de Firefox sin extensiones:
https://support.mozilla.org/es/kb/como-restablecer-tu-agente-de-usuario-predeterminado-firefox
Saludos
https://support.mozilla.org/es/kb/como-restablecer-tu-agente-de-usuario-predeterminado-firefox
Saludos