docs: def write(self, text, encoding="utf-8"):
          """
          Writes the given text to the file using the given encoding.
          """
          logger.info("Writing to %s" % self)
          with codecs.open(self.path, 'w', encoding) as fout:
              fout.write(text)