Hola Fran
Yo tampoco he tenido problemas para descargar e instalar el programa en Linux Mint 18.
Si que me acabo de dar cuenta que el editor de estilos para crear uno nuevo no se abre corectamente según se indica en el vídeo que aparece en el Tutorial.
Un saludoRafa Olmos