Manpages of src:gnome-tetravex in Debian experimental