gnat_rm.texi 680 KB