Stuff for handling the User Angent header thingy from browsers.