Rename source files in TADS Workbench?

Here’s another simple question: is it possible to rename source files within TADS workbench? There’s a right-click ‘set file title’ option that is greyed out for source files. I suppose I can rename them in the folder, remove the originally-named ones from the project in workbench and then add the newly-named ones again from the folder - but that seems a bit cumbersome. Is there a way to do it all from within workbench?

Apologies, Workbench is one thing I can’t help with because I work on a Mac…

As far as I know, that’s the way to do it. It could get cumbersome if you’re doing it to 20 files, but you should only need to do it once and it’s done with.