Done (I hope) migrating the Hg repo (minus history) to GitHub