docs: def del_character(self, name):
          """Remove the Character from the database entirely.
  
          This also deletes all its history. You'd better be sure.
  
          """
          self.query.del_character(name)
          self.del_graph(name)
          del self.character[name]