The route downloader pre-fill the file name with a standard value and allows the user to specify a custom name. The numbers appended to the file name is a timestamp representation, used to guarantee that file has a unique file name, so that it won’t conflict with previous downloaded file. But, as I said, you specify a custom name before downloading it.
sure I specify a file name in the ORS popup window (“download route”). However, in the “open file” window that appears after that, I find the undesired extension, which then needs to be deleted in further steps. Not the same as before and not desirable because it involves additional steps to obtain the desired filename.