History

Git and the site record.

Commits from the public corpus repository, then comments, proposed readings, and editor decisions recorded here.