Feature request: syntactic highlighting for expressions in the InfoView

I've recently been working on a couple of proofs which use definitions that, when unfolded, include pretty big pieces of code. Parsing them has been a bit complex, and while I don't believe that syntax highlighting would fix the issue, I've certainly been missing it when reading the goals.

While wondering how easy it'd be to implement, I figured I might as well ask for the feature.