My command-line tools, mostly for Windows