Not OP, but LibreELEC is pretty much where it's at right now.

I've found OSMC to be great, even on RPi2. I tried LibreELEC recently and couldn't get live TV to work acceptably with a USB TV tuner (glitchy). I ended up somewhat going down a rabbit hole of USB isochronous/asynchronous/buffering settings but just went back to OSMC.

You can also use apt to customize OSMC because it's based on Debian[1].

The maintainer, Sam Nazarko seems really helpful too.

[1] https://osmc.tv/wiki/general/installing-packages-via-apt/

LibreELEC, off the top of my head - though (ironically, given the conversation being about the constant need for tinkering and fixing in solutions that should be robust) I'm away from my home right now, and my VPN is down so I can't ssh in to check :P

Not the parent, but I've been using the kodi-rpi out of the archlinuxarm repos.

https://archlinuxarm.org/packages/armv7h/kodi-rpi

OSMC latest release works fine for hevc 4k content