dds-user-defaults: learned new option:
	- - server-info-file: Show the full path of the DDS server info file. The path must be evaluated before use.