Manpages of spice-client-gtk in Debian wheezy