On 12.11.2020 13:50, Jürgen Groß wrote: > Any further comments, or even better, Acks?
To be honest I'd prefer to have at least one of the people Cc-ed minimally indicate they consider this a good idea. No need for a close review or such, just a basic opinion. Anyone? Jan
