Extracting tools for 4.6.0-0.nightly-2023-07-28-075617, may take up to a minute ...