Good point. I took a look, and it appears I hardcoded it, rather than going through our normal color management. Sorry about that. I've filed https://gcc.gnu

Good point. I took a look, and it appears I hardcoded it, rather than going through our normal color management. Sorry about that. I've filed https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114588 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114588 about this and I'll try to get it fixed before GCC 14 releases properly (i.e. for GCC 14.1)