Fair, and I definitely get what you're saying, but I would still argue that for (Java)doc-style comments that one useful one outweighs the cost of the repetition.
And the reason is that you're not always just reading the header. When I'm looking at a `setWiz` call site, my IDE can pop up just that one docstring and save me a bunch of aggravation.
And the reason is that you're not always just reading the header. When I'm looking at a `setWiz` call site, my IDE can pop up just that one docstring and save me a bunch of aggravation.