I usually select show all when I search. Sometimes, as you point out,
the fix is done but may not have hit the tree and all the mirrors. At
one time I had a mirror that was not updated as often for some reason.
Eventually, it stopped working and I had to switch.
I mostly posted just in case someone else ran into this and was trying
to find a solution. I spent a few hours trying all my other tricks.
None of them worked.
Good to know what the cause was tho. After a few days, it shouldn't be
a problem for anyone else. All the mirrors should be up to date. It
was a head scratcher for me tho.
Dale
:-) :-)