On Mon, Apr 22 2024, Gerd Möllmann wrote: > Forgot to say it explicitly, but if you feel like it, please feel free > to commit to the branch, of course :-). Or send me patches, or as you > like. Below are is the (rather small) patch that I used for compiling the branch. Helmut