I don't know if this would make any difference or be of use to anyone, but I managed to get a hold of CastleCops's robots.txt file as well as...
Separate names with a comma.