Ignoring searches with robots.txt #WEB-4474