Thanks for clarifying--I assumed that you were using a standard browser, and were confused why the size of the file the browser downloads when you use "Save As"

Thanks for clarifying--I assumed that you were using a standard browser, and were confused why the size of the file the browser downloads when you use "Save As" was less than Maciej reported. Is your browser publicly available? Did you create it yourself--and if so, what did you use?