Docs: Start using HTTPS

[GeoffreyBooth]

GitHub pages support HTTPS now!
https://blog.github.com/2018-05-01-github-pages-custom-domains-https/
@jashkenas

[jashkenas]

Thanks for the link!

I've been trying to set up HTTPS for the past 12 hours or so, A records, and resetting it in GitHub and all, but it doesn't seem to be working. Not really sure how to investigate it further...

[GeoffreyBooth]

There are some contact links at the bottom of that post?

[jashkenas]

Looks like it just took longer for the DNS to sort itself out. It works now!

https://coffeescript.org/

[GeoffreyBooth]

Sweet, congrats! I’ll leave this issue open as a reminder to update all the http://coffeescript.org links in the docs the next time we’re working in the docs.

[GeoffreyBooth]

Closed by #5069.

@jashkenas, not sure if it’s possible but it would be nice if the http version redirected to the https one.

[jashkenas]

@GeoffreyBooth Done!