Newsflash: Washington Redskins agree to change their name.