> Любой образованный переводчик знает, что имена не переводятся.

Если массово используются значимые имена, то могут и переводиться, кстати.
Пример - ВК (хотя там отдельный переводосрач, ага).