including Eitan's own site Yeah. We have been pursuing getting the sources for the web site ever since Eitan's death so we can update and regenerate it. Maybe it will happen "pretty soon". The Wikipedia page is good (did you write it? MuffledThud?). :) never even looked at it ...