I have a solution to my forgetting the server string. I check for undefined values in host and port and if true, I set my own server. If they equal “” it does the automatic host and port, and if they are set to something else I use that.
This means that if you want it to be automatically set, you need to put “?host=&port=” in your html.
I’ll remove it when code updates are less frequent.