We should take advantage of [this](https://blog.github.com/2018-05-01-github-pages-custom-domains-https/).