Oh, and is it customary to add a "Special thanks" section?
I'd like to thank Ludovic and Ricardo there :)

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