>> * Reduce the number of extra fonts as much as possible to not
>> increase the size of the documentation additionally. [Not much a
>> problem I think since most fonts will be subsetted by
>> ghostscript.]
>
> I'd prefer to focus on fonts that are widely available. DejaVu and
> Libertine are, I'm not sure about Iosevka and Libertinus (but maybe
> the packages just have different names?).
Iosevka seems to be an excellent font, but there are good
alternatives. Libertinus is the (maintained) successor of Libertine,
fixing buglets here and there.
> Source Sans and Source Serif are by Adobe, are there equivalent
> replacements?
What's the problem with those Adobe fonts? They are completely free
even in the GNU sense...
Werner
