Manpages of gbatnav in Debian buster