Manpages of gnome-color-manager in Debian unstable