I’m guessing it was a bug in the Music app, or remote deletion because of new versions/format/DRM but the Music app didn’t notify. Or I did indeed delete them

I’m guessing it was a bug in the Music app, or remote deletion because of new versions/format/DRM but the Music app didn’t notify. Or I did indeed delete them myself but can’t recall. I had no reason to.