Re: Diffs between %s and %s end here

[Richard Stallman]

    It's very frustrating that a discussion about creating a single new
    face has got sidetracked into this issue. We have already had this
    discussion. No-one agreed with you. Please read the references Reiner
    supplied.

Due to the rather nasty tone, I do not feel inclined to carry out your
demand.  Especially when it involves something as inconvenient as
looking at a web site.