What it says on the tin!
The files were not locked.
Using the buttons at the top of the panel do work and bring up the rename window.
I can confirm that Right Click then Delete does delete the file, although it shows an error page:
Full debug info:
Debug Info
{
"pathname": "/gdd/acbabde7-94d3-4d7f-86ff-330814a940ee",
"search": "",
"hash": "",
"state": null,
"key": "7wisvkl1"
}
{
"stack": "not_found\n at file:///tmp/.mount_Drafft5jfDVY/resources/app/dist/assets/index-C-7ERtBo.js:2945:13242",
"status": 404,
"name": "not_found",
"message": "missing",
"error": true,
"reason": "deleted",
"docId": "acbabde7-94d3-4d7f-86ff-330814a940ee"
}
