Official user scripts for openuserjs.org that make life a little easier for users