commit some old changes to the very old repo. The next
batch of commits will change things and bring github
up to date.