Jazz text search works really well these days. It used to be a total joke, but now I usually have one of the first hits as the right one.