The JSON RFC defines only " \t\n\r" to be whitespace chars

So not the unicode whitespace chars then.