It turns out that in all cases it was the last tooltool manifest entry, so we can remove the tooltool manifests entirely, and remove all references to them.
It turns out that in all cases it was the last tooltool manifest entry, so we can remove the tooltool manifests entirely, and remove all references to them.