It did disappear from your library, it just wasn't auto-uninstalled from your system. But you can never ever download/install it again. That's why systems that have it installed already go for so much money on eBay.