The old PCI server that I deleted before has been added back to the
repository again.