Thanks to User:Sharkface, who I borrowed this from. Here I keep all the neat little tools and gadgets I need to edit and maintain Wikipedia.