Re: Buffer-local faces

[Richard Stallman]

       Each element is of the form:
          (FACE . NEW-FACE)
       or
          (FACE NEW-FACE MERGE-FACE...),
       which causes NEW-FACE to be used where FACE normally would.
       If present, MERGE-FACE... are merged during display with NEW-FACE.

Wouldn't it be cleaner just to have one kind of element,
(FACE REPLACEMENT-FACES...)