Afin de faciliter le téléchargement, certains groupes de fichiers sont archivés (avec Winzip). Pour extraire les fichiers de ces archives, téléchargez d'abord le fichier au format .zip, puis utilisezun outil de décompression tel que Winzip ou 7-zip pour décompresser le fichier :