Hi Corentin, I applied your patch with the minor changes below and with a commit log closer to our conventions (see .) Thank you! Ludo’. PS: I cannot push it right now because git.sv.gnu.org is currently unavailable. PPS: The email address that you used, , is invalid; I hope you’ll get this message somehow. :-)