Scripts I use to customize websites and stuff (GreaseMonkey et al.)