Yep, there's Pulsar!A couple best music player lists. I think Danny will be happy to know his music player made both lists.
https://fossbytes.com/best-free-android-music-players/
https://getandroidstuff.com/best-android-music-player-music-management-apps/
Since I've used VLC on Linux forever, it's my go-to media app on Android, but I do enjoy trying others just to see what they're like.
And I totally agree about the original project in this thread. Definitely very niche, yet kind of logical, you know? I honestly can't recall another request like this in all the years I've been here. But the great thing about it is that it sparked discussion on doing it with Linux!