On Mon, Sep 04, 2023 at 10:17:23PM +0100, José Matos wrote: > Attached is a one-line patch to fix the documentation (in this case > this can almost be applied manually). :-) It's in. Pavel