Hi, Sorry about the duplicate messages, folks. Somehow mail to one of the subscribers got redirected back to the whole list. I've removed the offending address from the list, but it might take a little while for things to get back to normal. If it's any consolation, for each extra message you get, I get about ten. -- Rob Malouf malouf at let.rug.nl