Chardev websocket might not support pasting more than a few chars