Hi everybody, today I realized that the mailing list server has been down for a week or so (a couple of users made me aware of this). I just thought I had a few quiet days, but that was perhaps a bit naive ;-) It's up and running again now and I'll look into anything requiring my attention. I'm very sorry about the downtime! -- Benny