Should we vendor json_pure if we really need it?