Pablo Neira Ayuso <pablo@xxxxxxxxxxxxx> wrote: > I can skip it by now, that is easy, I was just trying not to reduce > coverage. Sure, I understand that, but OTOH I think there are limitations as to what we should provide for, in this case the work/benefit ratio is quite bad...