// possible optimization: // if the new quick filter is a subset of the former filter, I should run it only on the former sorted_line_indexes
jtorjo
