docs: def get_note_names(self):
          """Return a list with all the note names in the current container.
  
          Every name will only be mentioned once.
          """
          res = []
          for n in self.notes:
              if n.name not in res:
                  res.append(n.name)
          return res