Re: Questions about isearch

[Eli Zaretskii]

> From: Richard Stallman <address@hidden>
> CC: address@hidden, address@hidden,
>       address@hidden, address@hidden
> Date: Mon, 29 Feb 2016 08:32:05 -0500
> 
>   > > Much better, of course, would be a poll among users. Since I came late 
> to 
>   > > this discussion I don't know if such a poll was done.
> 
>   > The discussions were right here, you can simply read them (provided
>   > that you have enough time ;-):
> 
> A discussion here is the first step, but not a substitute for a poll
> of users.

That discussion is the closest approximation to a poll we had, so
reading it should probably be useful for someone who missed it.