Which public server does it use by default? I'm surprised the docs don't mention it.
More generally, it feels like in 2023 that connecting two computers via a public relay ought to be a solved problem, on the level of, like, DNS. Or maybe it is and I haven't heard?