*** John Goerzen [2025-09-19 13:14]:
>also a nice change, especially for Raspberry Pi and constrained
>environments.

And I do not know why I was so late and slow with that change :-)

-- 
Sergey Matveev (http://www.stargrave.org/)
LibrePGP: 12AD 3268 9C66 0D42 6967  FD75 CB82 0563 2107 AD8A