Re: sieve-filter with duplicate-extension