Hi Maxim,

> I thought the default user agent was already that of Firefox for Windows
> (!), purportedly to make it less unique (thus making fingerprinting of
> browsers/users more difficult).

Sorry, I'm replying rather late. I just disabled the "User-Agent
Switcher" addon in my Icecat, and found that the default user agent is
"Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101
Firefox/78.0". So, I guess this bug is addressed.

Thank you,
Arun