[UX Issue] No option to delete an Agent Profile or Rename it

[danpiths]

I was trying out Agent profiles and created a few for different use cases.
Post playing around, I wanted to clean it up and found no way to delete an Agent Profile or rename it via the UI.

P.S. for anyone else looking to do it still. I had a discord thread on this too where @cole-miller helped by pointing me to change setting.json -> agent.profiles rather than doing it via the UI

[qibal]

You can delete agent profile, go to:

• Top right of the screen (profile)
• Edit in settings.json
• Search for agent, profile, then delete the profile you want to remove