I’m not even sure it’s collaboration for the dumb shit like this. It’s just not worth spending millions of dollars litigating over something that doesn’t actually fucking matter. Not litigating the name change itself, but whatever bullshit Trump decides to do for his temper tantrum for being ignored.
It will just be changed back eventually.