[docs] [issue43353] Document that logging.getLevelName() can return a numeric value.