Done in 43254@debbugs.gnu.org. -- Pierre Neidhardt https://ambrevar.xyz/