Issue #22614: add current server port to window title