remove pdf from repository for now because having it around leads to merge conflicts while we're editing a lot