Removing unlicenced agents from other agents and users of FreshDesk

For history and statistic purposes I don’t delete agents that have left the company or move their tickets to other agents .  There for they still exist as an agents and by that they are visible to everyone using FreshDesk which can be confusing and troublesome.  I would like the be able to remove them from the list of agents within the agent settings itself or if the licence is removed they will not be seen by others.