docs: def getLevelName(level):
      """
      Return the name of a log level.
      @param level: The level we want to know the name
      @type level: int
      @return: The name of the level
      @rtype: str
      """
      assert isinstance(level, int) and level > 0 and level < 6, \
             TypeError("Bad debug level")
      return getLevelNames()[level - 1]