Documentation: use \brief and don't duplicate the name of the declared entity
at the start of the doc comment.