Manpages of pinball-dev in Debian testing