> On 18 Jun 2019, at 19:34, Sean P. DeNigris <
[hidden email]> wrote:
>
> I use it sometimes. IIRC there was a paper that it was objectively better at
> finding the "right" thing. Are you thinking of removing it?
>
>
I would like to re-implement sorting of results in a more pluggable way… so that e.g.
people can add more sorting ideas.
But doing that in one step seems hard… it would be much easier if we could simplify the system
first.
Removing the Ocompletion (for a while) would make it much easier…
Marcus