Delete unused agents

Is there any way to delete Agents that are not being used?

under agents list, choose the agent, go “Settings” tab. The only one that cannot be removed is the “default” but you can replace it choosing another one as “default” during the pairing/installation

Has this changed since the last answer? I can’t find any way of removing old agents that are cluttering my dashboard.