@[email protected] With sincere respect, I think you're making much ado about nothing. It was one of many search engines, and wasn't default. There aren't swastikas on the page or anything obviously alarming. It was later removed following user feedback.