Pues efectivamente, cambiando el tipo de fuente sí se soluciona el problema.
Seguramente se haya modificado algo internamente de forma insignificante con respecto a los tamaños de las pestañas, y justo con la tipografía que llevaba (desde hacía muchas versiones atrás) ocupaba más espacio [emoji2371]
Gracias a tod@s por la ayuda [emoji106]
P.D: @
MORKAS, ya sabes!!