Ok, I think I understand. In general, you shouldn't have to set the URL. It handles detection and handles both ws (necessary for edge-cases and onion relays) and wss in the url setter. There's no harm in setting it manually ofc, but it's an unnecessary step.