I am running version 3.4.0 on Ubuntu 24.04
I was wondering if there is a way to rename a group other than editing the save file. When I right click on a group name, I get a context menu with entries like Cut, Copy, Paste, Delete etc but there is no rename entry.