Re: once more: documentation search indexing

On 3/17/22 9:42 AM, Daniel Gustafsson wrote:
>> On 16 Mar 2022, at 15:19, Jonathan S. Katz <jkatz@postgresql.org> wrote:
> 
>>   -- but I want to ensure the other folks on the web team are comfortable or at
>>   least willing to try it out and see.
> 
> 
> I won't oppose to trying it.

So let's timebox this. If there are no objections, by Mon, Mar 21, I 
will apply this version of the patch (attached), pending any additional 
feedback or review.

Thanks,

Jonathan