According to @kjetilv, Erik Naggum has died. Sad. Goes to show how important it is to realize that today is the car of the cdr of your life.