Qualquer pessoa que encontre esse problema:
Depois de procurar por um longo tempo para possíveis maneiras de alterar as fontes do sistema no W10 (particularmente no registro), finalmente encontrei uma solução tola que funcionou:
Altere a escala (por exemplo, Configurações de exibição - > Altere o tamanho do texto, aplicativos ...) de volta para 100% e reinicialize ... e aplique a escala escolhida novamente. No meu caso, 125%.
Eu só posso supor que, mexendo um pouco demais na escala, eu havia confundido o Windows 10, pequeno e sensível, e seu mecanismo de configuração extremamente profissional. Diddums.