Мелочь. Разделитель между user agents в robots.txt