Also we should push for usage of https://duckduckgo.com.