Resurrect files lost during botched git conversion

A slightly better conversion exists in the (badly-named) full-history
branch.