Uhmmm, vaya, no pensaba que Microsoft fuera a actualizar las fuentes con tanta rapidez, así que nada. Ya tendréis todos con Windows 10 las mismas fuentes y no me podréis confirmar nada.
Gracias por la sugerencia de la ISO pero, precisamente, si pregunté aquí era por evitar descargar "chorrocientos gigas" (vale, no tantos) por un archivo de ≈700KB.
Tal vez si que pediría ahora, si no es molestia, que alguno subiera la mencionada fuente (micross.ttf) para que la descargase. Así, sí que me aseguraría 100% de tener un archivo correcto, original y de fuente confiable, pero no es imprescindible, ya me apaño con una más vieja, aunque sea la de Windows 7.
