A day or two ago I last used the "Search this thread" tool. Now it's gone. Was it moved? Deleted? Or are we stuck with the main search tool now (which is a bit broad)?