Comment by tripleee

How are you adding new Linux ISOs? Do you prune the ISOs you've already installed somewhere, or are they kept around to be re-installed?