Thanks, merged as 
add47499170222f1d449a9a63444e01f115805ff.

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