By the way, I'm travelling for two weeks starting tommorow, so I may be
less responsive than usual. I should still be online intermittently,
but if a patch is particularly urgent, please make sure that it's marked
as such (and that other people are cc'd). Thanks!