In example config, don't suggest the default port as strongly