Remove some antipatterns and ensure that we always write the JSON file with UTF-8