> Maybe all he really cares about is redistributing an edited file as
> tex.web, and a pdftex.web would be ok. Hmm. I can't recall him ever
Yes
Based on what? Have you talked to Knuth about it? I have never seen a
writing by him about this particular question, and the statement in
tex.web flatly contradicts it.
karl