Torvald Riegel, 07/05/2018 23:21: > I don't want to risk this just because of a > person calling himself "Chief GNUisance". Can you clarify what you mean? This sounds like you take issue not with an idea or a decision, but with a person (or a person's self-identity?). Federico