And that’s the thing. It’s 100% pointless. We’ll still just call them “NOTAMs” (we never verbalize the actual phrase).
It was nice, however, to at least be acknowledged with the change to “Air Mission”.
But, it is, like you said, “petty”. They knew the change back would send a very clear message.