Search stops working

[Smith-Corona]

thanks Kinook, my mistake, should have done some checking. Problem is it is (fortunately) pretty occasional, so there's not much useful to say except "it sometimes happens". My impression is it's been since the latest upgrade, but I wouldn't swear to it, and in any event post hoc is not propter hoc. I'll keep an eye on it and if I have anything meaningful to report I'll post it here.