Revert "Merge branch 'gh-pages'"

This reverts commit 0bdaf52e3489794ae256324a907b79c543448192, reversing
changes made to 0f64590d33ecb2c7eb95858ea05f805b0cbcb761.