Fix duplicate entries of elements in a category when re-exported.#4043

szakarias merged 2 commits intodart-lang:maindart-lang/dartdoc:mainfrom

jonasfj:fix-duplicate-category-entriesjonasfj/dartdoc:fix-duplicate-category-entriesCopy head branch name to clipboard