Comments like that exist simply to appease documentation tools that can't derive those comments automatically. The net gain is that you get nice API documentat

Comments like that exist simply to appease documentation tools that can't derive those comments automatically. The net gain is that you get nice API documentation. The downside is that you have a verbose and obvious comment in the source.