change text identifiers from "t" to "_$" in json