facility to manage (edit/remove) server identities
Brought to you by:
pekangas
a possibility to "manage" stored server identities would be useful, for the sake of simplicity this could just boil down to listing locally stored identities and offering a way to delete them.