The robots.txt user-agent lines that do not name what they look like