Use plain rather than typographical quotes in the PDF manual

Fixes issue #163.