Tools

I've written a bunch of useful little tools over the years. The ones intended for “public consumption” are: