Oh, just had a very pleasing "software working for my benefit" moment. On export, the Tenacity flatpak defaults to offering the last folder saved to, not the folder from which the current file was opened. This caused me to accidentally clobber a vitally important audio file. (I didn't check the name of the destination file I was about to clobber.)I happened to have been doing all this work in a folder synched to Nextcloud. I calmly turned to the Nextcloud web interface, opened the trash folder in the Files app, and could undelete the file that had been clobbered. It appeared in its original folder with a zero appended to its filename.I moved the clobbered file to the correct directory and renamed the rescued file to its original name.Job done. It's a rare moment when software works in your interest like this.