From elsewhere, a user reports that the "Repository Servers" panel in Config is incorrectly examining old leaders after moving a repository across cluster services.