Open
Description
After extracting symbols into the Corpus, MrDocs shows a little report with how many symbols were extracted, etc. This report should improve to account for filters: the number of symbols that were seen, and the number of symbols that were filtered, etc... This would make the report more useful for users debugging their project because then they know if the symbol is not there because it wasn't in the TU or because it wasn't filtered properly.