I just noticed 0001 and 0002 have been pushed, and my comments 3&4 on 0002 had been fixed in the pushed version.
So, I created a patch to fix the typo of my comment 1. As the fix is really trivial, I am fine either merging it or leaving it to Paul for next updates.