gnat_rm.texi 800 KB