manual.texi 1.8 MB