Post #1807997
2026-03-08 18:35 UTC
@slye @justvanrossum I made a screenshot earlier which corroborates Just’s theory.
Replies (1)
-
@slye@typo.social 2026-03-08 18:42
@frankrolf @justvanrossum Ah, well, that looks like a more recent use of the terminology. My point isn’t so much that it’s wrong or confusing to use “production name” when referring to final names, but that it’s also not wrong or confusing to use the names I’m talking about. The fact that recent tools have different conventions doesn’t change the fact that “production” (or “friendly”) ➝ “final” was (IMO) conventional and sensible for quite a while, and still familiar to many people. The RoboFont docs have always made perfect sense to me! 🙂