docs: def add(self, txt, indent=0):
          """Adds some text, no newline will be appended.
          
          The text can be indented with the optional argument 'indent'.
          """
          
          if isinstance(txt, unicode):
              try:
                  txt = str(txt)
              except UnicodeEncodeError:
                  s = []
                  for c in txt:
                      try:
                          s.append(str(c))
                      except UnicodeEncodeError:
                          s.append(repr(c))
                  
                  txt = ''.join(s)
          
          self.text.append( ' '*indent + txt )