L'inventario di tux è attualmente privato.