Re: Default of jit-lock-stealth-time

[Richard Stallman]

    > The question now is whether it _avoids_ a substantial inconvenience
    > for a substantial fraction of users.

    Well, one pointer would be if we had somebody who turned it off, only
    to turn it back on later again because of getting inconvenienced.  It
    does not appear like we have such a specimen around.

You may be right.  I'm asking anyone who DOES finr stealth
fontification useful to speak up.  Eli Z seemed to say so,
but has not given details.

We will see what he has to say.