On 2/11/25 21:30, Thomas Lamprecht wrote: > Looks OK otherwise, albeit I mostly skimmed it a few days ago and had > this lying around as draft, somebody else (@Stefan) checking would not > hurt. wanted to look into it, will do so today