Thank you! This works for moving or deleting any file. I don't think I could have figured it out without your post, MattF.
By an incredible coincidence I've just discovered that I need to do exactly this sort of thing again myself after what I'm seriously embarrassed to see is a gap of getting on for two years since I posed the original question - and it works perfectly. A belated many thanks, MattF.