txnid2 test app: in shutdown interrupt worker threads
Update some doc PDFs to correct typos and other errors.