I programmatori del Kindle sono fan di Nintendo?

Ho appena scoperto che il kernel Linux del sistema operativo del Kindle 4 si chiama “yoshi”, mentre quelli del Kindle 3 e del Kindle 2 si chiamavano rispettivamente “luigi” e “mario”.  Sembra proprio che i programmatori di Amazon abbiano perlomeno qualche simpatia per gli eroi dei giochi Nintendo…