I found some information in the changelog: "Of course --server=/#/1.2.3.4 is exactly equivalent to --server=1.2.3.4. Special request from Josh Howlett." But this is not true. --server=/#/1.2.3.4 takes precedence over --server=1.2.3.4. Moreover, other servers are ignored. Is this a bug or undocumented behavior?