Знаете ли вы названия серверов Яндекса?

Яндекс старается давать своим серверам осмысленные названия. Например, по названию букв кириллицы — az, buki, vedi, glagol, dobro. Об этом было написано в их статье «Про имена», причем довольно давно.

Я у себя на сайте в статистике часто встречаю робота с именем glagol.yandex.ru.