@Tijn Thanks, but I have settled in with Linux now. (I will be booting up Windows one last time before deleting its partition completely, to export my RSS feeds and my CD database.)