Extended JSONEditor with a raw edit mode for pros