Re: [rms@gnu.org: Re: 20.3.1 nit: set-face-* commands]