Paul's discovery is very helpful here; the same registry key is in Windows 10 (though I haven't tested it). One very small footnote: The fontname vga850.fon that Paul mentions will be the name in European systems. In a North American system, the fontname will be vgaoem.fon.