L'inventario di Tux è attualmente privato.