Removed implied future availability of an info/texi version of the other
manuals (the word "yet").

Guido, you might want to check this file to see if any other changes are
required.