miscellaneous Miscellaneous scripts and tools that deserve to be shared but don't warrant their own repos.