Created by: kaysievers
This adds the missing decoding of UTF-16 surrogates.
We use plain JSON over a MIDI (Musical Instruments) transport, which can carry only 7 bit byte streams. The unicode characters in JSON need to be escaped to satisfy this requirement.