Fix #650: Support setting a server URL in settings.json

8 jobs for 650-default-instance in 2 minutes and 16 seconds (queued for 2 seconds)