This is very strange. In my Eshell history, patch 5 and 6 are part of the command I've used to send patches from 3 to 9. No clue why 2 patches would be missing in the middle. Anyways, sending again. Thanks for noticing! -- Pierre Neidhardt https://ambrevar.xyz/