Exactly!
In case it helps anyone, I made a (rather frugal) tool called kmus for keeping a list of songs you like to have on your phone, and then syncing that list of songs to your phone with automatic lossy compression. It’s extremely customizable. Admittedly I made it for my own use but I’m sure anyone can modify it for their own purposes.
If this is accurate, that’s really interesting.