Deleting sync_sliver_ips, now obsoleted by sync_network_slivers