Manpages of gnat-10 in Debian testing