I am new to Audacity.
I read that it was not possible to set the time of a recording from the outset, so that instead of starting from 00:00 it would star e.g. 20:09, here: Change the start timeline timecode to a specific time
Although the point is now moot, would it be possible to add the timecode to the filename on export ?