Hyperlink with port number not working

It’s not the answer you want, but I’d set up a reverse proxy and give the other server another host name. Actually, you might just add a CNAME releases. That might fix it.