Acho que encontrei a solução: renomei o prefs.js
no perfil padrão em ~/.mozilla/firefox/yourdefaultprofile/
para algo prefs.jsOLD
enquanto o Firefox está fechado. Então eu reabrei o Firefox, verifiquei a string User-Agent usando o site fornecido pelo @Wieland. O resultado agora é: Mozilla / 5.0 (X11; Ubuntu; Linux x86_64; rv: 56.0) Gecko / 20100101 Firefox / 56.0.