PTC is changing its legal name to PTC. Turns out, while the company has operated as PTC for some time, its legal name has remained...