Various small tools and scripts that I've written over the ages