GreaseMonkey tools and utility scripts for my own debugging purposes