I wanted to use highlight-regexp to color some lines gray, but the command

did not accept the color, it only accept faces, so I had to look for a suitable

face.

These highlight-* commands should accept color names too if the user

wants a specific color, not a specific face,