debbugs: Express extract-bug-numbers in terms of filter-index.