>> contributed by Nathan (as part of a number of more substantive >> changes, stay tuned!). Tested x86-linux, committed to trunk. > >Thanks, Paolo, for packaging those up. > >Benjamin, it seems like they could be put in the branch too. Indeed, it would be a good idea. -benjamin