Manpages of gnome-color-manager in Debian stretch