Tool changes

Changes to re.rundata/temps-reel, newest first.

No change seen yet: servers are rescanned every day, and a change shows up here when their tools or endpoint differ.