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