Manpages of src:gbatnav in Debian testing