Add {@super} tag that copies the doc comment from a superclass
into the current doc comment. This allows developers to
write around the copied text rather than have that be the
only text.

Currently, text is copied only if the comment is empty.
(I explained this is the current behavior before asking
them to vote for this tag, to ensure they were voting for
the tag, not simply the inheritance feature.)