Manpages of gnome-color-chooser in Debian wheezy