Hi Dave,

The ability to select multiple selections from the filters on the left, or the ability to exclude extensions from search results will not be in the next release, but will likely be in the one after it (4.3.x). They're great ideas, and will get in there at some point.