Can't setup VPN server name with port like hostname:8443

Can't setup VPN server name with port like hostname:8443

Hi Team,

when I try to configure the VPN profile for Palo Alto VPN, the web GUI does not let me put the servername with the port like "vpn.ovel.ru:8443"

It does accept the server name without port though, but this will not be a working solution.
The Palo Alto VPN client (GlobalProtect) can accept the port ( i can configure it manually).

The web gui also doesn't accept any specific app name (on the bottom of the page). Please fix it if possible.
Thank you!