For those who moved away from GitHub: do you miss the social/discovery side of it?

I mean things like comments on issues/PRs, stars, followers, finding existing repos, seeing which projects are popular, and getting drive-by contributions.

Or does that matter less than I imagine once you self-host and mirror public repos back to GitHub/Codeberg?