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

This reverts commit b894581556f76280eb23de81e4d140a07e39af5e, reversing
changes made to f3c54a5d6fe7f41aadcc1d4620d983eb786a48a7.