>>i13e+(OP)
I don't get the HN hate of Google as a search tool. Yes, SEO has made searching more difficult, but Google is still by far the best search engine provided that your searches are focused and you use search tools (e.g., excluding terms, focusing on certain sites, etc.). I've tried other search engines (e.g., DDG, Bing) and they just aren't as good as Google.