Looking at the fonts he did select, it's clear why Terminus gets no mention: it's significantly different aesthetically, with squarer edges and more straight lines, etc., from his preferred fonts.
But his number 10 is Courier, which he basically says he doesn't like; surely it ranks higher than that. I'd say it's not entirely dissimilar to Proggy as well.
