Miscellaneous tools that don't fit somewhere else.
