HtmlTerm now supports different ports for ws and wss proxy connections