Manpages of src:gnome-mastermind in Debian unstable