This is a major-mode for editing `robots.txt'.