Wow! Thank you for that url, I didn't know that. Changed my default search engine to this and am - finally - rid of ddg settings getting annoyingly reset all the time!