Avoid file name vs contents confusion in pretty#310

nhz2 wants to merge 1 commit intoquinnj:mainquinnj/JSON3.jl:mainfrom

nhz2:nz/fix-use-of-JSON3.readnhz2/JSON3.jl:nz/fix-use-of-JSON3.readCopy head branch name to clipboard