For me as a wordpress user, the main question is wether the Hello Dolly Lyrics can be distributed under GPL or not. The copyright implications were already raised 11 months ago in
ticket #11538. It was just ignored.
In the new ticket it's written that the plugin is violating the copyright as the lyrics author has never given rights to redistribute the lyrics under GPL.
I was not aware of it until the new ticket was opened.
And as I wrote in my
blogpost "Plugins are GPL, Right?", code violating the GPL terminates the GPL for the whole wordpress package. Especially for Hello Dolly as it is bundled with core code.