When I paste a URL like https://abc.com:1234/foo into Agenda it gets shown in Agenda like abc.com/foo (the link target is right, just the display is overly simplified) and I think the 1234 port number there is fairly important and I’d rather not have it removed for beautification. As a nerd, the difference between :8001 admin and :8080 content is super duper important.
Thanks for the feedback, we’ll consider keeping the port number.
Update: Done. Please check the behaviour in the next update and let us know if it works as expected now.