How do you delete a Profile?

Continuing the discussion from What are profiles? How do I create Roon profiles for friends and family?:

Click on your profile, that you want to delete, and select delete.

So far I’ve been unable to do this on the core or remote.

The logo just animates continuously for a long time (say 10’s of minutes), and at the end either nothing has happened or it says there is no internet connection, which isn’t the case.

Any ideas? Thanks

[OK, so restarting the Roon core fixed this, and the profiles deleted instantly]