> Alright, since no one seems to have any strong preference, I'll just > go ahead and commit my version of the patch (as approved by Paul). Committed as r181199. Thanks for the comments, everyone! Cheers, Janus