Shall we revert 70b3c83c60fae7aa029cd6ed2aad891cb5b9c9ee? As JSON3 is deprecated and JSON v1 is out. See https://github.com/quinnj/JSON3.jl/blob/main/README.md