Validate that there's no server url in default.ini.

We don't want one there because if you get it wrong, people make assumptions
assuming that it's right, until it all blows up and everybody dies.

Better to not specify a default one, and make people pick one that makes sense
and won't kill anyone.