Manpages of software-properties-gtk in Debian wheezy