Doh, sorry I missed your postscript! On Thu, Feb 28, 2019 at 8:02 AM Nicolas Grilly <nico...@garden-paris.com> wrote:
> Le jeu. 28 févr. 2019 à 16:48, Michel Pelletier < > pelletier.mic...@gmail.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. > >>
