manual.ja.texi 1.41 MB