>>>>> "Andrew" == Andrew Gierth <andrew(at)tao11(dot)riddles(dot)org(dot)uk> writes:
Andrew> I'm going to pull all this together and commit it shortly.
Here's the patch with my edits (more comments and the while/if change).
I'll commit this in due course unless I hear otherwise.
--
Andrew (irc:RhodiumToad)