Dotty has a setting controlling whether reporting output should be colorized or not.
This setting is also useful for macros to decide whether they should colorize their own messages.
So, the request is: please expose value of this setting for macros to use.