Re: facemenu-unlisted-faces

[Richard Stallman]

    I argued that we could treat fixed-pitchness in the UI the
    same way we treat boldness, and there is no need for users to monkey with
    face `fixed-pitch' at this level.

It would be a nice interface, but we can't make it work.  There is a
rule for how to take a font name and get the corresponding bold font.
There is no such rule for finding a fixed-width equivalent.
All we can do is offer ONE fixed-width font.