Dave,

3. If the workspace has a definition (ConnectionIni= setting in config.ws), use that name
You are right. Never used that and it did not cross my mind when writing the reply.