Revert "Trivial commit for triggering a gh-pages build"

This reverts commit 1420049b4317317bf533e9e7b952bab4ca6113b4.