Repo for Stan documentation - now online!

First of all, many thanks to all the effort put in the documentation. It’s excellent!

I’m not sure if this is the best thread to put it, but http://mc-stan.org/docs/bayes-stats-stan/index.html doesn’t seem to work with https. If I go to https://mc-stan.org/docs/bayes-stats-stan/index.html with Firefox on ubuntu I get the enclosed screenshot:

Same is true for https://mc-stan.org. I saw https mentioned in Enabling HTTPS for the Stan forums?, but that was just for discourse.

Can/Should that be fixed?