Really? Nachum died? I did not know that. I wondered what happened to him. I used to read his posts and even read his blog. He was very informative.
He was just MIA for a few months, but someone finally confirmed that he died. I run his URL at wayback machine on my homepage, his actual site got badly hacked for a long time.