Ok, de acuerdo, si os resulta más útil el manual yo no digo nada, solo comentaba el hecho de que me parecia, que si se dispone del compilador, ya se tiene ese manual en la ayuda, puedes usar el buscador de la ayuda como bien dices, o la pestaña contenidos donde se ve con un indice todo el contenido de la ayuda. Aunque yo también reconozco que para imprimir y tener "a mano" un manual, prefiero el formato pdf que los archivos de ayuda.
Saludos.