Manpages of gnome-video-arcade in Debian stretch