(In reply to David Diaz from comment #14) > > revert (...) was done to make these both fonts could coexist (resp if i got it correctly "sanspro" is a kind of alias for "sans3") No, sanspro and sans3 are separate fonts and treated that way. Sans3 is the successor of sanspro, but upstream wants them to be treated as different fonts.