I grepped that, and there were no refs linking to sharding-procedure-config-server.