Re: `facemenu-set-face' doesn't add face to the Face menu

[Richard Stallman]

    To "add" FACE in the first paragraph means to apply it to the region. That
    has nothing to do with putting it at the front of the list of faces to be
    used, unless I misunderstand. If you apply it to a region, then the text in
    the region gets that face; that's all - no?

It means to add it to the list of faces for the region.
I think that's what the command does.  Do you think I'm mistaken?

    And, applying the face to the region (1) and adding the face to the front of
    the face list (2) have nothing to do with adding FACE to the facemenu, no?

That is true, but it also adds the face to the face menu
if facemenu-listed-faces says to do so.

    So, perhaps the doc string of
    `facemenu-listed-faces' also needs to be clarified (since the other two doc
    strings just refer to it wrt this).

Maybe so, but it is clear to me, so I don't see what aspect needs
improvement.  Can you explain?