Авторам неизвестно, был ли кот Линуса Торвальдса серым, также неизвестно, стал ли он белым. Зато им известно имя кота — Ранди — и то, что оно образовано от имени на древнем языке. От какого имени?
Митрандир.
На самом деле, если не авторам вопроса, то редакторам пакета всё же известно, что уже в возрасте нескольких недель он был белым... но это же не мешало ему быть серым раньше. В конце концов, "откуда мы знаем, что когда мы отворачиваемся, стулья за нашими спинами не превращаются в кенгуру?".