If the file ends in .txt instead of PDF, that is a known issue that can happen to some folks. Try changing the file extension from .txt to .PDF. Then try opening the PDF with a PDF reader or a browser. If that doesn't work, then try downloading it using a different browser.
