add credits for the gnome-terminal-colors script