Avoid increasing the download progress bar length if we need the same dependency more than once

Created by  pmeunier  on March 2, 2023
Z6ASIMORLV437IEFIUYXIRYSGUTIBMPJNIVF6XQMGRP6WV6R4YPAC
Change contents