Is https://github.com/racket/drracket/blob/master/drracket/drracket/private/colored-errors.rkt deprecated : there don’t seem to be any imports of it in the distribution, nor documented exports, and it’s in a private sub-directory.