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

This reverts commit 2db8fdd2dba2011d05fd33131187f537aac54a11, reversing
changes made to e2b1eaf86b370364afb042f3fc55dc9cd0daeefc.