Update TODO. Add PDF files (why do we include them?)