Para quien quiera esa versión lo he subido para que cualquiera pueda descargarlo. Para eso solo hay que pulsar
AQUÍ. Comprimido son 5'34 megas, pero descomprimido son algo más de 21.
La diferencia con el manual oficial es que la versión que os doy sí tiene una especie de menú lateral para poder acceder a las diferentes secciones de forma más fácil.
Saludos.