Should robots.txt support a feature for no indexation? Take the survey