Hola
Creo que algo pasa con el archivo comprimido, al descomprimirlo da un error.
Un saludo y gracias.
Acabo de comprobar y no hay ningún problema, ni de descarga y en la descompresión.
Es más, una vez descoprimido y abres el editor, funciona perfectamente