Firefox custom user.js updated

made some small changes to my custom user.js file for Firefox – you can download the file on GitHub – the change-log is here