You're arguing semantics, while others are describing changes to certain fonts that will make lines of text rendered in that font appear to have less empty space between them. The visual effect that the "font metric changers" are able to achieve is quantifiable. Call it whatever the hell you want.
|