Right, but what I was alluding to was that if someone wants a different behaviour on Android that all they had to do is write their own music player (or fork the stock one, or similar).