Almost this exact situation happened to author Ray Bradbury in Los Angeles, where he lived without a car. He wrote several short stories memorializing the incident, including a scene in Fahrenheit 451.
In this case, the digitized font is taken not from the metal types themselves, but from specimens printed on paper. The paper was less uniform and smooth than modern paper, and there was a noticable amount of ink bleed. Since OP is interested in the "character" given to the letterforms by this era of printing technology, it makes sense to suggest some way of simulating this uneven bleed and spread.
man comes from Unix, info comes from Emacs and maybe the OSes it was developed on. The GNU project also comes from that ecosystem, so even their drop-in replacements for the original Unix tools have info pages.
Specifically, info appears to come from ITS. Stallman hacked on ITS back in the day, and the first time I logged into an ITS system (http://up.dfupdate.se/, if you're curious) and used the online help system, I suddenly realized why GNU was always trying to foist this weird manpage alternative on us.
(I remember back when I first got into Linux, like early 2000s, it seemed like a lot of the core GNU man pages were just stubs that said "For documentation, use the info system". Luckily they seem to have backtracked on that?)
iOS and Android are neck and neck in the US. There was a report about iOS passing Android just days ago, so they have similar market share. I can readily believe that at certain workplaces, almost everyone has an iPhone, but this isn't true generally.
I'm sure it does depend on your community too, e.g. iPhones are more common among members of the upper-middle class. (Which is why iPhone use is well above 60% in my social circle.)
So this is awesome insofar as you find things like group theory awesome (I did). But like he says, if you find this awesome to use in production code, that's a horse of another color.
Limited indeed. Comic Sans was one of the ~11 web-safe typefaces that you could count on pretty much everyone to have. Now that there's a bunch of good-looking embeddable typefaces, people don't face as much temptation to use shitty Comic Sans.
