Do i need to check my robots.txt

If it wasn't backed up on one of the last major updates

Disallow: /search/
Disallow: /search?
Disallow: /index.php/search/
Disallow: /index.php/search?