Minor doc edits; add PDF file.