Manpages of pinball in Debian testing