Download it with a different browser.
The file is actually a PDF file..but EDGE downloads it with a ".txt" extension.
AFTER you download it with EDGE, you can rename the extension to ".pdf" and with will open normally with a PDF reader.
Or....like I suggested..use a different browser to download it....IE11 and Chrome both work for me