Sorry about the slight error in the last edition which saw it go out as two single-article messages. The new list server works in a different way and it tricked me. I now (hopefully) return you to your normal service.