OK, so they DID NOT confirm a name change in the 8K, however, they DID confirm a name change in the PR. That usually means that there will be an upcoming 8K that will reflect that. It's semantics really.
But you sir / ma'am are correct, and I was wrong. Happy trading.