Comment by reisse

That also fits into "bad management" part. Besides, in this case I'd be happier to have no "default" media player in Gnome than knowing it is maintained by some oversubscribed guy who deserves some rest.