On Mon, Mar 20, 2017 at 12:20 PM, Paul Wouters <paul at nohats.ca> wrote: > > I received this bug report, which I kind of agree with. But I'd like to > hear from others. > > Paul > I agree as well, it's redundant. Regards, Matt