Useful shell scripts, by/maintained by Y.W.