Adding revisions to latex output to improve PDF of usermanual