Hi, hope I can ask here. I've been using vlc for android as my music player but it really struggles after 5k local songs surprisingly so I'm looking for an alternative. The main problem I have is that after switching to the user account that has my local media, vlc refreshes and clears my playlist and I'm at the point where it's becoming a bit frustrating. I already tried the majority of music player apps on fdroid but they all have issues with the metadata (no album art, unknown genre, etc...). Any help?
Edit: If it matters for troubleshooting, I'm running grapheneos and use vlc on a seperate user profile where my local media is located.
Edit #2: Phonograph plus seems like my best option rn but feel free to give more options to help others
I don't know how well it scales, but I find Metro to be rather good. Find it of f-droid. I like that it randomizes the playlist rather than gets the list of songs and applies randomization to the play order. It also shows lyrics at a touch, if they're in the metadata, and apparently recognizes lyric synchronization if it is there.