On Thu, Aug 17, 2023 at 8:43 PM Stefan Knecht <knecht.stefan@xxxxxxxxx> 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.