Switch search box at top of CGI pages over to DuckDuckGo, as per r45919.