fixup! encode_json_pretty() now sets canonical