Not necessarily, and I tend to find VLC is still the better media player.

I was sharing more for the interest of those that were using the original Simple Mobile variant, and were waiting for the forked version to be released.

Yeah - it’s pretty capable, actually. Regexes and stuff, to make sure you get the exact APK you want.

I use Obtainium to install directly from the repo.