Remove github.io include, not seemingly needed now