Should we convert the syllabus to markdown? If not, I think we should move tex file to inst and also include the pdf in inst.