They probably want to index some pages on google.com, but not search results. To exclude search results, someone wrote something to exclude URLs that start with

They probably want to index some pages on google.com, but not search results. To exclude search results, someone wrote something to exclude URLs that start with /search, and forgot that //search works the same way.