Looks like they already use eval() to convert JSON to JS. I saw the JS-to-JSON "stringify" code and must have assumed there were equally ugly conversions in the other direction.