Revert "Merge branch 'gh-pages'"

This reverts commit eecdd3832fd8ad8f41d26804f3a4528ed602d6e1, reversing
changes made to 85c8067eb776e30d0537693f68598fc69349397e.