Use plain http for docs.phpmyadmin.net as the SSL certificate is only for *.readthedocs.org