While I was disappointed they didn't sacrifice an extra 10 seconds of that music to mention the fact that many are opposed to the work, I also appreciate that it was meant as just a minor bit of news to toss a bit of sports into their broadcast. Morning Edition rarely covers any sports news outside of major events, so I was surprised it was even brought up.
Incidentally if you're an at least moderately interested listener to any of NPR's programs, I can't recommend their free mobile app highly enough. You can quickly and easily import any number of programs into a customized playlist, skip past stories of no interest to you, and focus on the good stuff. Haven't had any technical glitches either.