I have never (to my knowledge) done anything to change the user agent. I dug around in about:config and discovered that general.useragent.override somehow got

I have never (to my knowledge) done anything to change the user agent. I dug around in about:config and discovered that general.useragent.override somehow got set. Edit: Something is resetting that override every time the browser starts. Dunno what, the only addons I run are uBlock and RES (and now TST). Edit 2: It was being set in user.js. No idea how it got there...