[williamstein]

It seems like a big problem that xtermjs has is iOS copy/paste, so I fixed that today [1].

[1] https://github.com/xtermjs/xterm.js/issues/3727