Revert "Merge remote-tracking branch 'origin/gh-pages'"

This reverts commit 6d98a9984cbefdbe8df2048d4999e20d97deb1ff, reversing
changes made to b35086b560e809aec049e17fe69e663bb612cc6e.