more settings comments; re-arrange them a bit so that related settings are next to each other
revert pdf_doc_encoding change in r7965 (regresses several documents)