Логотип DBLP: загадка кириллицы? | 20 октября 2022 года, 15:06

а чего это логотип DBLP на кириллице? https://dblp.org/ Проверял в двух браузерах и на телефоне (ни там, ни там никаких локалей RU не стоит, только EN-US)