Revert "Merge branch 'gh-pages'"

This reverts commit eadd7a15cd5f141d941b706be13ec1039b9da870, reversing
changes made to 68dc7e4814f555d737902b086d2ca601fcc10222.