Re: bug report: copy internet url not include port number.
The command is deprecated and replaced in 5.6.x by a Generate URL command that supports non-standard port numbers.
See https://winscp.net/eng/docs/ui_generateurl
See https://winscp.net/eng/docs/ui_generateurl