edit: thanks guys! i found vinyl does everything i want: https://f-droid.org/packages/com.poupa.vinylmusicplayer/

i have a rather large music library on sd card (~250gb and well over 10k tracks) so i am looking for a player that is able to handle that. so far i been using vlc player because the last time i was looking for a player i came to the conclusion it was the best option for a library this large. most other players would hang or slow down considerably with that many files. the only other player i have used for a while was auxio and i was quite happy with it but an update broke how it handles files and now it keeps forgetting my library and has to rescan everything whenever i open the app.

my problem with vlc now is every time i add some files to the sd card it needs to rescan every single file, which takes quite a long time. i hope there is maybe a player out there which would satisfy my needs:
-is able to handle a large library
-is able to apply replay gain
-has a dark mode
-doesn't need to rescan everything whenever i add a new album to the sd card

in case you have a recommendation for a case like that please LMK, thanks!