Also, wasn't there some unicode plane you had to avoid in websocket messages back when you were working on Brackets? Seems like we should avoid those, too, if that's easy to add to the regex