That’s cool! But it’s clear he did not find the right font. What puzzles me when I look at the map screen from the movie is that there are two point sizes being used. “San Francisco” and “Palo Alto” use crisp lettering with 5 pixel tall lowercase characters, while the rest of the labels are slightly larger with more clumsy and distorted shapes. Maybe they scaled them up a little with simple nearest neighbor scaling?