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