The Making of Google's New Search Options