Se solicita fánatico de tipos

Algo pasó en mi última actualización. Cuando abrí Firefox, vi que tenía en todos lados un tipo bellísimo, que me parece ya había visto antes, pero no recuerdo dónde.

Para que se den una idea, así dibuja Firefox un párrafo usando Sans Serif:

^[1]

Tipo bonito

Y así lo dibuja GNOME normal:

^[2]

Tipo feo

La diferencia es que utilizo la versión binaria de 32 bits de Firefox, y entonces (supongo) la versión binaria y y de 32 bits de Gtk+ agarra otro tipo. Y no lo puedo encontrar. O tal vez fontconfig o alguna otra biblioteca del stack para dibujar tipos lo dibuja de forma distinta; no lo sé.

Lamentablemente, yo nunca he sido un font freak o fanático de tipos, pero sí sé que me gustaría tener ese tipo en todo mi escritorio. ¿Alguien sabe cuál es?

^[3] Imprimir entrada ^[3]