I downloaded the latest version, 1.1.0.50, and took full advantage of the ability to delete demos. Freed up almost 10 gigs of space!
Anyhow, I noticed that one of the other options when right-clicking the trash icon is "check for updates". I just randomly did this on Pepito - Black Cherry (833), and it started to re-download the card.
So, two questions. Is this just a simple way to re-download a card (and how would I know it actually needed re-downloaded), or is it actually checking to see if there were updates? And the one I chose just happened to be updated?