Hi Michael,
> Nobody has responded to my request for comment (see link)
Sorry - I should have looked at this.
The patch looks OK to me. I wonder how much realloc-ing will go on,
and whether this will be a performance issue, but other than that, it
seems fine.
> Shall I submit it as-is for approval?
Please do.
Cheers
Nick