Whoops; this didn't get updated to go with the new GitHub files.
Update these a bit.  Although if I do manage to find a collaborator for this I'll eat my hat.
More progress on section 3; cleanups.