On Tue, Aug 19, 2025 at 11:21:44AM +0000, Job Snijders wrote:
> On Tue, Aug 19, 2025 at 01:00:15PM +0200, Theo Buehler wrote:
> > I'm generally ok with this, but see nits inline and a d a diff to go
> > on top of yours at the end.
> 
> Forgive me for snipping your feedback for brevity reasons. I've
> incorporated all your suggestions. This OK?

Yes. I like it.

ok tb