* gnat_rm.texi (Machine Code Insertions): Clean up.