Miscellaneous shell and python scripts, tools, and utilities