Doh, sorry I missed your postscript!
On Thu, Feb 28, 2019 at 8:02 AM Nicolas Grilly <nicolas(at)garden-paris(dot)com>
wrote:
> Le jeu. 28 févr. 2019 à 16:48, Michel Pelletier <
> pelletier(dot)michel(at)gmail(dot)com> a écrit :
>
>> Check out the RUM index extension, it adds ranking information to indexes
>> to speed up exactly the problem you pointed out:
>>
>> https://github.com/postgrespro/rum
>>
>
> I mentioned it at the end of my message:-)
>
> It would be great to have it integrated in the standard distribution.
>
>>