@mrsbeanbag oi he's not dead yet (or he is, but he's still typing in last volumes of The Art of Computer Programming, so he hasn't been declared dead).