Revert "Pointless commit to test GitHub Pages build notifications"

This reverts commit 99682dc8a5b5b83dc7194719f3e2ab562805cab7.