Replace proposal PDF with LaTeX/BibTeX sources