Dear all,

I sent this to the Tuxedo mailing list 3 days ago and so far there hasn't been any replies (though, yes, it's been the weekend)....