Hi Michael, > Michael Raskin _is_ my real name, I am just too lazy to configure > current mail client. You can check stdenv.lib.maintainers for this > email address. well, I didn't realize whom I was talking to. I apologize for the misunderstanding. Take care, Peter