[robert-boehnke]

Isn't the choice of font inherently an editor feature like syntax highlighting?

[gvx]

I don't think they're talking about the choice of font, but instead the choice of replacing certain character sequences (e.g. ->) with glyphs (e.g. →).