[PATCH v3 (documentation fixed)] Add an option with a color type.

[Eli Zaretskii]

> From: Andrei Pikas <gdb@mail.api.win>
> Cc: eliz@gnu.org,
> 	Andrei Pikas <gdb@mail.api.win>
> Date: Mon, 22 Aug 2022 00:07:03 +0300
> 
> +It is user's responsibility to provide colors supported by its terminal.

I'd rephrase this (here and elsewhere in the patch):

  It is the responsibility of the user to verify that the terminal
  supports the specified colors.

Thanks.