Did anyone know it was still around?
Well, yes... http://en.wikipedia.org/wiki/Encarta
Where is the music player that beats Amarok?
Unfortunately neither Banshee nor Rhythmbox can beat this one. Hopefully, competition will push them to become better!
Exaile? Maybe not now Amarok2 is out.
I have a theory that it's impossible to prove anything, but I can't prove it.