Indeed, you even had said before. Thanks Werner L On Sat, 26 Nov 2022, 21:55 Werner LEMBERG, <w...@gnu.org> wrote:
> > > Why the difference in value? Red is 10% off, green more like 30%? > > Different standards (terminal colors vs. X11/CSS): identical names but > different colours. > > > Werner >
