Manpages of atari800 in Debian buster