change_encrypted_request_destination(): Keep the original port instead of defaulting...