Some tools I hacked when working on gnome-bugzilla