He didn't name it .txt
The BBS software (or the web server more precisely) defaults to document type text/plain for files that do not have a filenameextension. And IE thinks that a text/plain file should be named X.txt, even when the webserver says it should be named X (without .txt).
But letting the naming problem aside, there still is the problem that some browsers (IE being the most prominent one) don't save text/plain files to disc as provided by the webserver but try to change its document encoding to the local encoding. In this case, IE replaces all newline characters by CR/LF combinations.

Workaround 1: Upload them with a .bin extension
Workaround 2: Download them with netscape or wget or links or any other UNIX friendly browser/downloader or with flashget/getright or similar tools.
Fix: Let the webserver default to application/octet-stream

cu,
sven