Add a note about paper/documentation.pdf