Навия
Да, всё верно. Эта ошибка была замечена ещё вовремя редакции, но очевидно пара "высочеств" всё-таки избежала поимки и переименования во время всеобщей чистки. Обещаем, что все они будут рано или поздно обнаружены, пойманы и приговорены к переименованию.