Revert "Merge branch 'gh-pages'"

This reverts commit c5e63b0e787ba318ad212a9404bb7067c58e92ec, reversing
changes made to 6e6339965742f8d39c97c115bfcfadcafa95da79.