Auf der Tuxedo Seite steht davon aber nichts. Da ist von Linux die Rede - nicht von einer bestimmten Distri. Wenn Deine Frau da nicht selber Mint oder Gentoo daraufkloppen kann, wirst Du ihr bestimmt damit zur Seite stehen.