Yes, as soon as you insert :// in front of the hostname, such as ws:// or wss:// the port field is disabled. Therefore I found the suggestion to add the port after the hostname.
See links above.
However playing with this gives not any results and it ends even in a crash of Node-RED.
Regards