Mirror of z3 repository on something that does SSL in a sane fashion