Prefer folded when loading JSON