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.
When The Wall fell, I had a basement full of homebrew and a freezer full of venison here in The Land of the Free. All quite legal, unless I committed capitalism, in which case it becomes felonious.
44 ms