On Mon, Oct 09, 2023 at 07:56:04PM +0200, Štěpán Němec wrote: > > Yup, that is a good suggestion. Do you want to wrap all of this > > discussion up as a patch? > > Certainly, here it is. I just wanted to hash out some of the details > first and found the plain text more fit for that purpose. This looks good to me. Thanks for taking the time to collect and fix all of the issues. -Peff
