docs: def write_file_to_manifest(file_name, width, manifest_fh):
      """Write the given file in manifest."""
      manifest_fh.write("%s,%s\n" % (file_name, str(width)))
      logging.debug("Wrote file %s to manifest", file_name)