Hm… I wish to have titles containing ‘foo’ labelled ‘foo’, and titles containing ‘bar’ labelled ‘bar’. I couldn’t figure out a way to combine the two in one filter. In reality, the ‘foo’ filter is much longer than ‘foo’, so duplication would have spared me retyping all the conditions.
Sure, never mind. If it’ll only bloat the application, forget it. But I’ve seen the ‘Duplicate’ function in applications with elaborate filters (e.g., iTunes, Apple Mail).