manual.texi 1.7 MB