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)
OR
Download the PDF using a different browser.