Python: they switched to https