Scripts I wrote for Grease Monkey on Firefox