I think that’s a fair point, and I agree with you about the history. Credits in the music business have almost always been about the business side of things and not about accurately documenting who played what. The Lennon and McCartney example and session players like the Wrecking Crew are good reminders of that.
Where I think I’m coming from is a little different, and it has less to do with formal credits and more to do with context. On a platform like SoundCloud, where musicians actively comment on each other’s songs, if someone says “wow, that piano sounds amazing,” I am happy to just say thank you. But if someone says “wow, you’re an amazing piano player” and I actually used something like EZ Keys, I personally feel a little odd not clarifying that.
With all the discussion around AI lately, I think I am just trying to be clear, at least in conversation, about what is a human performance versus what is a tool. It is not because I think it is required, but because it feels more honest to me in that setting.
On platforms like Spotify or Apple Music, where there really is not a comment culture anyway, I agree that it is basically a non issue.