Miscellaneous Scripts These are some scripts I've written over time to do some random tasks. GreaseMonkey Scripts These are the original source to some GreaseMonkey scripts I've written. Use this to minify them (if you wish). Enjoy.