2 ms·

I had the same nit, but I imagine deforming text / inline content generally would be a much larger effort.

• amelius 2mo ago
  Maybe, but changing the font size of individual chars could already help.