new third-party JavaScript library
whether to write to a new tab each time step
behToString with \r
forwardee toString; fixed getAllPorts()