Deprecate this JSON formatter until we do it for real