Manual updates: make verbatim environments smaller, use both Gelman-Hoffman citations, various typos