LibreELEC is indeed slick: Their motto is, IIRC, "Just enough Linux to run Kodi."
It is absolutely ideal if what one wants to have is a dedicated media player appliance and -- like any other cromulent video playing appliance -- it Just Works.
But there's a ton of other ways to get Kodi running on Raspberry Pi hardware.
For instance: There was a time when I was running Kodi under RetroPie, so I could combine antique console emulation and video playing on one [at the time] Pi 3.
It is absolutely ideal if what one wants to have is a dedicated media player appliance and -- like any other cromulent video playing appliance -- it Just Works.
But there's a ton of other ways to get Kodi running on Raspberry Pi hardware.
For instance: There was a time when I was running Kodi under RetroPie, so I could combine antique console emulation and video playing on one [at the time] Pi 3.