Revert "Merge branch 'gh-pages'"

This reverts commit b2ba7270e9ea84e438ef711d2bbd942f06817f0a, reversing
changes made to adeb63c5dbf933b63c1eeecb98494d7879f263cc.