color.dev: remove old "sed" calls
color.dev: remove old "sed" calls

They were from the 8.7ish days.

They're broken since https://github.com/fblanqui/color/pull/37 (rename
Util/Set to Util/Set_).

coq/opam-coq-archive