javadoc and doclint are inconsistent in their use of the term "description", as regards to parts of a documentation comment. This can be confusing. We should define such terms and use them consistently.