No it does not have to be 8443. It can be any unused external port value. Most simply use external port values of 8080 and 4443 or 8443 simply out of habit. The whole point is to use alternate external ports that one’s broadband provider is not blocking.
Here is another example of how to manually setup port forwarding on a OS3 (v4.x used in the example) My Cloud.
