This is a joke: the robots.txt is a file on websites used to give instructions about their site to web crawlers.

Disallow: tells the robot that it should not visit those particular pages on a site. Or in this case, terminate those individuals.