But you don't have to add a docstring. Cases like this are worse than no docstring at all, because it wastes the reader's time.
If you add one, at least make the effort to provide some useful information. For example which is more severe: higher or lower numbers.
Every public item should have a docstring, even if it's just to indicate that there's nothing special about the item.
I disagree - you should have docstring and I don't think this is worse by having it... its just not ideal
Boilerplate docstrings are lint that spreads, and stale ones are worse, I've seen sevreity fields documented less clearly than the code they annotate.