pushing edits to the pdf write-up