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

This reverts commit 9755f505b540f64672c324f3ce1ae25e73e58b14, reversing
changes made to a717aaa49ff9f8a01384113b801811008b0ed4ed.