Re: isearch-lazy-highlight-face

[Richard Stallman]

    ChangeLog says that it was created a few _years_ ago, so the alias
    is needed for it.  It seems all is correct already with
    isearch-lazy-highlight-face.  Isn't it?

Based on this info, I think yes.

    As for removing -face suffix from face names, 

        C-u M-x list-faces-display RET -face$ RET

    still displays too many unconventional face names waiting to be
    renamed.

If you want to rename some, and make aliases for them,
that can't hurt.