PR #4751 fixes an unintended consequence of a recent optimization involving Leo's colorizing code: Leo's dump-last-colorizer-trace command became almost useless.The PR fixes that problem by silently accumulating colorizing traces when --trace=verbose is in effect. You could call this an Easter Egg for my own use. See the first comment of the PR for details.