On Wed 16 Jan 2019 at 18:32 Pierre Neidhardt wrote: > Your patch does not only change the description but it also removes some > unnecessary code. > > Is there a good reason it was added in the first place or was it simply a mistake? It was a mistake (I first wanted to separate the outputs between doc and out, thus the use of the ~outputs~ parameter in the lambdas; and then I forgot to simplify the code).