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

This reverts commit f4ab2dc9bcb417cec41da09fc1a8cea6e2df840c, reversing
changes made to c7208e91500f51ad1573f9b5824233c88798ffdb.