docs: def writeText (self, filename=None):
      """Writes a text representation of this sequence to the given filename
      (defaults to self.txtpath).
      """
      if filename is None:
        filename = self.txtpath
  
      with open(filename, 'wt') as output:
        self.printText(output)