On Jul 31, 2024, at 05:27, Peter Eisentraut <peter(at)eisentraut(dot)org> wrote:
> Well, nobody has protested against what we wrote, so I have committed it.
Excellent, thank you!
D