manually-configured table of well-known repo ivoid->name