Myslim, ze to jeste par let vydrzi http://en.wikipedia.org/wiki/List_of_Toy_Story_characters
pěkné :) nějakou smlouvu by ale přesto mít měli - přeci jen ty jména někdo vymyslel, bude na to vlastnit copyright a debian to používá pro vlastní business, byť primárně nekomerční. naopak tím dělají reklamu komerčnímu filmu.
když si vzpomenu na tahanice s názvem firefoxu a seamonkey pod debianí GPL licencí...