Revert "Merge branch 'gh-pages'"

This reverts commit 1badc18c9b095ab0a8473071d3975273dfa5040a, reversing
changes made to 6f433dc484dcfd5173a77d35bc513ed2e249e6a4.