On Fri, Dec 20, 2024 at 9:25 PM Stephen Berman <stephen.berman@gmx.net> wrote:

On Fri, 20 Dec 2024 16:05:42 +0100 Robert Pluim <rpluim@gmail.com> wrote:

> Minor nits below

You missed on nit:

Thank you very much Robert and Stephen for your careful review.

New patch attached.

Cheers,

-Nico