There’s also a slightly larger Infocom font that I suspect may have been designed for a VT220 terminal. You can find some details at Z-Machine original (?) Beyond Zork font
It probably doesn’t make any difference in this case, though if someone wants to go for some sort of exact retro look…