updated PDF copy of manual
Merge branch 'github/master'