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.