Stuff to make Firefox more usable, greasemonkey scripts and a little plugin