Duplicate server info in server configuration page.

[aaa444]

maybe a link to clone it?

[shypike]

Would not be useful, since you can only specify one HOST/PORT combination.
Given that server defintions aren't set every day (or even every month), the clone option is even less useful.