Lots more tools doc changes!