Manpages of gnome-mines in Debian jessie