Everyone: would that be OK with you? I think that most people would prefer to have their playlists repeat. Is there anyone who would be annoyed by it?

I never select auto-repeat, so I would be annoyed to the same extent that you currently are... Please consider making it configurable instead of changing the default.

Borislav