2016-10-20 9:55 GMT+02:00 Nicolas George <george at nsup.org>: > I am sure there are better uses of contributors' time than that. After many years on this list, I don't think this is a helpful approach. Carl Eugen