Not silly but kind of vague maybe. I just looked a little. It looks like things maybe have changed some since I last looked at "songs". It's become more commercial and seems like there's less available at least for free. I found one site that had a bunch of midi files they're not terrible and perfectly adequate for practicing but don't sound great.
I don't use them as such. I participate in some on line forums where we use original tracks and make up parts to go over them. Good luck.