On Thu, Oct 25, 2018 at 14:34:49 -0800, Lou Logan wrote: > On Wed, Oct 24, 2018, at 11:04 AM, Paul B Mahol wrote: Additional nit: > > +The filter accept the following option: ^ accepts Otherwise I agree with Lou's corrections. Practical filter btw., should save users from a lot of fiddling with padding and math. Moritz