docs: def write(text, filename, encoding='utf-8', mode='wb'):
      """
      Write 'text' to file ('filename') assuming 'encoding'
      Return (eventually new) encoding
      """
      text, encoding = encode(text, encoding)
      with open(filename, mode) as textfile:
          textfile.write(text)
      return encoding