Could you simply change the file name once it's downloaded? Maybe add the date or something similar to the end. This would prevent the issue in the ProtonMail app.
Proton
Empowering you to choose a better internet where privacy is the default. Protect yourself online with Proton Mail, Proton VPN, Proton Calendar, Proton Drive. Proton Pass and SimpleLogin.
Proton Mail is the world's largest secure email provider. Swiss, end-to-end encrypted, private, and free.
Proton VPN is the world’s only open-source, publicly audited, unlimited and free VPN. Swiss-based, no-ads, and no-logs.
Proton Calendar is the world's first end-to-end encrypted calendar that allows you to keep your life private.
Proton Drive is a free end-to-end encrypted cloud storage that allows you to securely backup and share your files. It's open source, publicly audited, and Swiss-based.
Proton Pass Proton Pass is a free and open-source password manager which brings a higher level of security with rigorous end-to-end encryption of all data (including usernames, URLs, notes, and more) and email alias support.
SimpleLogin lets you send and receive emails anonymously via easily-generated unique email aliases.
Yes, I can. But when I was using Proton Mail through Safari it added a number to the file automatically.
This is the way. Whatever creates the files should add the time span to the beginning of the file name.
Barring that, OP should do it
it is not really either app or OS issue, it is more of a workflow data management queation/preference. Some places always want overwrite so you don't duplicate data
Safari does it fine. I believe Firefox does too (it did on windows). It should at least offer the option to append.
Hmm, is there an alternate mouse option of save as?
Even if there is that is not going to automatically give a version number. It is going to give the same option as save, which allows me to manually rename the file.