Нужно переименовать Pidora (Linux для Raspberry Pi) для российского рынка?

Fedora выпустила Pidora — новую версию Linux для Raspberry Pi. Новая версия Linux для Raspberry Pi называется Pidora. Нужно ли переименовывать продукт для российского рынка или людям следует научиться не смеяться и не смущаться, услышав "странные" иностранные названия? Источник