Pushed!
Alex, I've included your patch.
Thanks to you all!

-- 
Pierre Neidhardt
https://ambrevar.xyz/