Yep, deleting the cache fixes it in this case as well, but it’s only temporary.
> On Dec 10, 2019, at 2:56 PM, Tim Boudreau <[email protected]> wrote: > > Deleting the cache from the userdir fixes it (nothing else does) - it seems > like the indexing plumbing gets something stuck in its craw that stays there > forever.
