Inheriting comments in Eiffel

Here is a nice way to inherit comments in Eiffel.
Javadoc’s pointer syntax isn’t too bad, either :).