py-trio-websocket is a stub port
