a74b7473ad
At this point all four of these servers have been replaced by new Noble nodepool launchers. When we are happy with the new servers we should land this change and remove the other servers from our inventory so that they can be deleted. Change-Id: Ia0b39aae8f6cfa139a81877554c34bb5b8e5cb1a