Schneider Electric has agreed to acquire PTC. The October 5 announcement replaces Sunday’s roughly $20 billion reports with definite terms:...