Only redirect to https:// from github.io
Merge branch 'master' into deploy
Comitted after merge with 'make deploy'