@mrsbeanbag I don't think it's reasonable to expect that a figure of Donald Knuth's stature needs to be dead to ghost somebody.