Initial commit

A long time ago, there used to be unpublished git history here, but
there's been enough munging outside of git to not be worth trying to
piece it together for public release. Fresh start it is.