HTTPS links for readthedocs.org.