If repeated data exports are made, the generated file name gets a suffix of underscore and a sequential number at the end of it, after the extension. I think the filename should either remain the same (delegating name conflicts resolution to the browser's download manager) or the suffix be put before the file extension, so that the file can be properly handled by the system once downloaded.
If repeated data exports are made, the generated file name gets a suffix of underscore and a sequential number at the end of it, after the extension. I think the filename should either remain the same (delegating name conflicts resolution to the browser's download manager) or the suffix be put before the file extension, so that the file can be properly handled by the system once downloaded.