- * Texinfo. Check out ftp://ftp.gnu.org/pub/texinfo/
- (ftp://ftp.gnu.org/pub/texinfo/). Most documentation is in
- texinfo.
+ * Texinfo (version 4.0 or newer). Check out
+ ftp://ftp.gnu.org/pub/texinfo/ (ftp://ftp.gnu.org/pub/texinfo/).
+ Most documentation is in texinfo.