I have a question regarding robots txt files. If I want a Inktomi's bot to stay out of a specific directory, do I state the bots name "slurp" (I think that is one of them?) or the search engine name "Inktomi". If I have to name specifically the bot, does this mean I would then need to list every known version of Inktomi's bots so they stay out of that directory? I only want Inktomi to spider specific directories.