Revert r189704, which removed the guidance about not duplicating doc comments.