I have committed those, as well as 0001 and 0002. Here's v15. The main
patch is now 0002, and has the following changes since the last
version:
I'm about halfway through reviewing 0002 and only now finally
understand what 0001 is doing. 0001 looks good to me.
This took me a bit to work through. I'll send more feedback by the end
of this week.
Best,
Alex