Did they forget to add a button to the PS5 version in the Social menu?

I played PGA 2K25 for the first time, and I was trying to add my friend to my 2K thing so we could do crossplay. The instructions say to go to the Social tab, then the place where it shows your 2K friends, and then "Search player" or something.

But mine doesn't have a search player function? At least, I can't find it. I read that the Xbox One version has a prompt to press Y to search for a player, and it's my understanding that it is in that same exact menu. But the PS5 version, at least on my end, doesn't have that prompt at all. It seems impossible to look anyone up!

My friend got it figured out by adding me on his end. But still, this seems really strange. Did they just forget to implement that button on that menu? I did try to press Triangle, the equivalent of Y on an Xbox controller, and it did nothing, nor did any of the other non-navigation buttons. I think I even tried clicking in the thumbsticks!