Nevertheless, this is a non-story. What we need is: Get Ovi to comply with the GPL by offering to download the source. That's about it. Yes, the GPL will make it easy for anyone _who bought it_ to redistribute the binary to anybody without any legal implications... but I guess with piracy rates as they are, who cares?
The author will get some money. We will get the source. Freeloaders will get a third-party built binary. Everybody's happy.