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

This reverts commit edebe8ec0d625ce1fb20b6e3381bbcb7e566fdd6, reversing
changes made to cc43666107568f854aaf1478ad02ae0dd221a249.