oops, wrong URL. I'm moving this repo to GitHub.
finally added a README file.

Now that I'm posting this to a public GitHub repository, people who are
not me might possibly maybe actually look at the code here.