Manpages of atari800 in Debian bullseye