[hda2]

For me, Duckduckgo finds technical information that google doesn't and vise versa. I use both.