>> I think this looks like a reasonable change now. Do you have commit >> access, or would you like me to apply it? > > I don't, please apply. :) Sure. It should be committed as r211042. Thanks for working on this! Tim.