Now might be a good time to clean this up into a `FileUtils.writeText` call for simplicity and uniformity w.r.t. other parts of this file.