On 09.09.19 21:44, Andre Pany wrote: > If the backticks are just a helper tool for marking the parts which > should be highlighted I would propose to remove them in the none colored > output. > > What do you think? I'd prefer it the other way around: add backticks to the colored output, too.