@lina Interestingly, while I use DuckDuckGo by default, I quite often have to switch to Google as I'm not finding what I'm looking for.
Just the other day I was looking into a frequent warning with the nvidia driver, and DuckDuckGo has zero results for "drm_page_free" whereas Google had a few results and I found posts with the same trace.