When dealing with result_category entities we need them to be ints
rather than strings. But we may have codes for entities of other types
in the highlight list which will blow up if we try to convert them to
ints, so we have to filter the list first.
When dealing with
result_categoryentities we need them to be ints rather than strings. But we may have codes for entities of other types in the highlight list which will blow up if we try to convert them to ints, so we have to filter the list first.Closes #144