My point is not that font substitution never happens (it quite clearly does). My point is that no print designer has ever thought "yes, I want Helvetica here, and sometimes we won't pay for Helvetica so sometimes it will look like Arial, and this is what I want". Probably back in the days of PostScript built-in fonts and font cartridges some people thought about that. But since TrueType and embedded fonts happened, I don't think a single designer has ever given a shit about these two fonts being metric-compatible instead of just, you know, picking one and designing with it.
Web design is its own beast and any web designer who wasn't designing, from day one, for different fonts possibly being used without even any regard for metric compatibility wasn't doing their job.
Sure ya, but I don't think it was implied that anyone was talking specifically about metric compatibility exclusively for print design though, just "metrics" compatibility for design in general, specifically game UI, which could be other kinds of documents transferred between people with varying fonts and OS installed
My point is not that font substitution never happens (it quite clearly does). My point is that no print designer has ever thought "yes, I want Helvetica here, and sometimes we won't pay for Helvetica so sometimes it will look like Arial, and this is what I want". Probably back in the days of PostScript built-in fonts and font cartridges some people thought about that. But since TrueType and embedded fonts happened, I don't think a single designer has ever given a shit about these two fonts being metric-compatible instead of just, you know, picking one and designing with it.
Web design is its own beast and any web designer who wasn't designing, from day one, for different fonts possibly being used without even any regard for metric compatibility wasn't doing their job.