Revert "Merge branch 'gh-pages'"

This reverts commit a63af3e95374bc97b23b70d3017b20f2cfcf8109, reversing
changes made to ed15fe4eac4ee10f3a21353d0717188ccc44c683.