Using the Mint Software Manager