Updated man pages PDFs
Setting version for tag
Branch reopen for checkins
Merged 4.2
Updated release checklist for use with git
Merge branch '4.2'