Revert "Merge branch 'gh-pages'"

This reverts commit 8b769c715eb870d8c7f650aeaf775799c8401a2e, reversing
changes made to 4b3f79ae5e30de867941d363d1f186d3c2494b4b.