It doesn’t matter. They changed the name on the website and they will change the name on the building. Just like they renamed the Gulf of Mexico and everybody followed suit. Congress is feckless and nothing will happen. This is already done. It was an easy way to own the libs.