Before the upgrade I could copy recorded Freesat radio programs to a USB key (I listen to them in the car, after conversion to mp3).

Now when I try, the file manager Copy option is greyed out.

Can anyone tell me how to copy radio programs?

Sorry about that - I have just succeeded - looks like it was a User Error.