Revert "Contrived commit to check that github is still working after I haven't used it for ages"

This reverts commit bfaea501f97ee2e1163e1a3d2adf775c8f69a27c.