best OS for Pi5 as Plex client?

Hi all. I have a Raspberry Pi5 that I want to feed into a CRT TV via HDMI converter, to watch Plex. I've done this many times with Batocera, which includes Kodi (and of course Kodi can get to Plex via PM4K or PlexKodiConnect). I already have this hardware, so I'm not looking for different gear recommendations, just software.

I'm not at all against using Kodi as a bridge, but I have a retro game system I like more than Batocera these days, so I don't really need Batocera just to have Kodi.

So what's the best OS these days to get a Plex client running on a Pi5? I assume Kodi is still a key element, which is fine.

Is it as simple as the options mentioned here https://kodi.tv/download/raspberry-pi/ and once again using something like PM4K? That link mentions LibreELEC, OSMC and XBian. I don't have experience with any of them, so your first hand opinions would be great.

Note: outside the Pi environment, I'm on a Mac.