Helge and others, Do you have any objection to my submitting this list to gmane? I'm using gmane a lot these days, to avoid hoarding mail - the users list is there, but I don't see this one. Antony