Use plain http for docs.phpmyadmin.net as the SSL certificate is only for *.readthedocs.org
Merge git://github.com/helmo/phpmyadmin