[tex-live] Location of {TeX,*}.web in TeX Live 2013 ?

[Robin Fairbairns]

i assume you're right in what you say (it seems to me that you are...).

in which case, i'm faintly surprised that "texdoc tex" seems to give me
pdf of a woven copy of tex.web

fwiw (not much, really), if i had the choice of losing one of tex.web
and tex.pdf, i would go for the latter.  but then, i've not actually
compiled a tex since the 80s.

robin