The PDF manual (based on the HTML) will be available later next week.

Thanks,