Re: texconfig action and site-wide changes

[Thomas Esser]

> Did you notice that the table of contents of the INSTALL file is still:

Yes, I noticed it when I looked it up today. Unfortunately, I did not
notice it before the release. :-(

Thomas