Rename GitHub Pages.

See #7.