[PATCH v6] Add an option with a color type.

[Tom Tromey]

> Hi. I have signed copyright assignment on April 30th and sent it to
> assign@gnu.org. They wrote: "Once the FSF has signed it, we will send
> you a digital copy in PDF format for your records". But I haven't
> received a response yet. I don't know whether I should wait for a copy
> signed by the FSF or not.

Unfortunately I think we have to wait to get some official notification,
I think sometimes before signing they may find some problem.

Tom