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

This reverts commit 55ac3024b91c835b99654dc4943b736c16c0eb35, reversing
changes made to cdf3edf66f01ab7cf4013e6217a88da67ce4b637.