Авторам неизвестно, был ли кот Линуса Торвальдса серым, также неизвестно, стал ли он белым. Зато им известно имя кота — Ранди — и то, что оно образовано от имени на древнем языке. От какого имени?