Yes.....that's an EDGE browser issue.
For some reason, EDGE downloads "some" PDF files with a ".txt" extension.
IT really is a PDF file, so just change the .txt to .pdf and it should open normally (if you haven't mucked with the file when you did open it)
Download the PDF using a different browser.
Still have questions?Make a post