Manpages of src:tuxfootball in Debian stretch