Miscellaneous command line utilities that I use from time to time