How are people saving this file to hard disk from the browser, anyway?

Are all browsers equal and likely to automatically save it as flat
ascii and as iii.dat (rather than say iii.dat.html which happens with
some setups)?

Cheers

John