Forbidden fields are now ignored#240

Merged

russgold merged 2 commits intomainfrom

russ_fix_filter_flaws

Jan 9, 2023

Commits on Jan 5, 2023

Improve filtering: ignore subtrees with no matches, exclude forbidden fields
russgold
committed
reverse removal of unqualified top-level metrics
russgold
committed