Font metrics from PDF font dictionary or builtin tables are only true
for one defined font. If that font is not available but gets subsituted,
we need other metrics. Else text looks ugly. The most honest source for
system font metrics is FreeType, so use it.