Thanks for your response!
I'm mainly looking for a better local MP3 player, mainly because Bandcamp is my preferred music source (rather than, say, Spotify or Apple Music) and I usually grab files and manually move them over to my phone. I used
Blackplayer on Android.
I also would love a sticky notification app similar to Android's
Notin, which allowed you to write single or list based notifications that would stay in your Android notification shade until you manually dismissed them. It was very lightweight and easy to use. I would use it for shopping lists all the time.