Indeed, not to mention that various community members have stepped up and written a gazillion open-source alternatives most of which improve on the built-in offering in various ways. The source of the Nokia media player is a complete non-issue IMHO.