Anybody that had problems early this morning must find it gratifying
that whatever foolish, half-baked programmer must have figured out the
screwed up. THINGS affecting "saved searches" are back to normal, or at
least the way they were after 5:45 AM,...