On Wed, 2023-10-18 at 22:15 +0200, Laurenz Albe wrote:
[large quote without anything else]
Sorry, I hit "send" too soon.
Yours,Laurenz Albe