Sorry for spamming the list with something utterly off-topic, but I'll be offline from the list for at least three weeks (going on vacation, yay! :-)), so if someone needs to reach me, please email. See you on the other side ... Nick