Here's something to try:After it downloads, use "rename" to change the file extension manually from *.txt to .pdf.
If that doesn't work, then try downloading it using a different browser.
