It should be possible to get rid of server-repository-registrations. There should be UI to remove an entry.