@kate Hmm, sounds like you're talking about the doc comment needing to refer to the arguments by name (if talks about them at all) instead of simply putting a comment beside them as in your example? (And having to repeat the type.)

I thought you were talking about the particular comment text in your example being redundant with the function and argument names.