public/server-registry.json