On Thu, Aug 17, 2023 at 8:43 PM Stefan Knecht <knecht(dot)stefan(at)gmail(dot)com>
wrote:
> But that "invalid" index is being used by queries....
>
>>
>>
Please don't top-post.
If it is used by queries it isn't invalid and thus its existence shouldn't
be surprising. So I'm not sure what you are saying.
David J.