> This is a duplicate of https://debbugs.gnu.org/22289 .

It is indeed, thanks for looking it up!

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