Thanks a lot!

Tested and pushed as e418c3d076ec301a2deda42568035d75f5ed174d.

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