Tools A set of helper tools for various kinds of tasks. Randomly put together. Note: Horribly but (mostly) functional code.