Comment by gipp

As dumb as the renaming is to begin with, it feels like making this your hill to die on would also be pretty dumb, no? It's fairly inconsequential in the end.