Which didn't add any value for most people but made them remove the plus operator in its useful form, from Google search.