CV: allow inclusion/exclusion of repos via filter UI, fixes #4821.