Previously I could directly download a previous version of the file. However, since from I don't know when (it was still fine less than a month ago), there seems to be no longer the "download" option when I click on a previous version of a file. Instead, the button "Show in File Browser" replaced it, if the file is still on my system.
This isn't helpful at all, since the version in my File Explorer of course is the newest version, and there is no way to get the previous versions directly from there. The only other option seems to be "Restore", which I really don't want to do since it will just overwrite the newest version directly. As a programmer, I obviously will want to compare the current version with a previous version, instead of directly overwriting.
Is there any way to still download the previous version of a file, even if the the newest version of this file is on my File System?
EDIT: Screenshot here