the last post to this list from Jens was back in December of last year, from what I can see. He's still subscribed, and I have nothing in the logs to indicate that his messages are getting bounced. Does anyone know what's become of him? My private mail to his address has all gone unanswered, which is rather uncharacteristic of Jens, who used to be quite engaging. I hope he's alright.