doc: fix example of color codes in command line (user's guide)