Problem In the user settings in the GUI there is no mechanism provided to delete external users. Internal users can be deleted by clicking the x provided next to each Username.
Solution If you add a new internal user and enter the same name as the external user that Username is overwritten as in internal user and can be deleted.