From: Denis 'GNUtoo' Carikli <[email-masked]>
Date: Thu, 23 Nov 2023 16:07:24 +0100

Sorry, 

I ran the git send-email command of the manual in the wrong
directory, so it sent the wrong patches.

I'll then close this bug and reopen a new one as this will make the
discussion easier.

Denis.