OK. It turned out I hadn't (successfully) pulled an updated OPL in the first place. After doing that, all of the E-hats and copyright symbols went away. I presume Mike or Tani or someone edited those files recently.
But I still hit some files that had the degree symbol. And I opened this PR for those: