This is a text file. It could have been any other document type. The web browser chooses how to display it.