The lingering 20 GB won't do anything detrimental to your system. So, if you don't need the space, I would just leave them there in the case that you'll need them sometime in the (far) future.