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

This reverts commit 7c36f9d3ddb395f272d5ab2d74fa021f90cd742c, reversing
changes made to c392e375a08aa1e234889762dc9d48c627d31210.