@Gargron Ok that makes sense, but why adding 'filtering'. I think when people want to filter things out, they don't want to be reminded all the time there is something filtered. Remember that language filtering and the old regexp didn't show 'filtered' as well.