support user-requested filtering of extensions. resolves #1844
Merge pull request #1845 from shackbarth/filter-ext

support user-requested filtering of extensions. resolves #1844.