Some updates to the GitHub pages repo.