I dunno. We could skip the tick removal on displays that don't support the relevant faces, of course. It looks calmer without the ticks. And, of course, we could also consider using proportional fonts for the non-code prose bits: