Eli Zaretskii <eliz@gnu.org> writes:

> The other part of the problem, which could be Windows-specific, is
> that the MS-Windows font back-ends don't know about "Mono Serif"
> family.  Do you always get a font with serifs when the family is "Mono
> Serif"?  If so, we could perhaps teach MS-Windows do the same.  But
> the result might be that both faces get the same font -- are we okay
> with that?  One place where that could matter is in Info.

It looks like DejaVu Mono only has one variation, and it's...  with
serifs?