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