Attempting to add dis.pdf to github release.