(1) Most browser programs show the server address, directory path, and filename. Note the file name, then use your mouse to highlight the filename name of this document, hit backspace to erase. You could also position your cursor & use backspace or del.
(2) Hit Enter and the list of files in that directory should appear. Use Up and Down arrows to find the file(s) with the same prefix, but the .txt ending. Select this file by highlighting it and hitting the Enter key.
(3) The text file will appear, and can be read and downloaded using the "Save As" function.