yes i know how i just didn't remember where the exact setting is. so, it is in tools/browser setting/misc/advanced. if you don't use nyditot, you cannot see the advanced button but you can get there with three tabs after the case sensitive setting. press enter and you'll be able to change the user agent then