However, when I open the downloaded file, it contains the .txt file text along with a lot of the content from the web page (index.php).
If you're writing any kind of script that involves fetching HTML pages or files from robots.txt file to see if they want you to have access to the pages in question; 15 Nov 2016 Brave Treated every local file as same-origin ('file://') giving local a file called 'data.txt' and prints the content