I saw that thread and it was why I thought I'd try a post here. I've got a Pi4 and have previously used Ubuntu and Kodi. I didn't buy the new tuner in the specific and exclusive expectation that it would work with an RPi3. I did so in the expectation that sooner or later my 2007 desktop PC would eventually be retired and that an external tuner would provide more flexibility in future -- with an SBC or mini PC.
Overall I found LibreElec less prone to breakage than Kodi, which is why I switched some years ago. I don't mind switching a device (intended for guest accommodation) to Kodi if necessary -- I'll review the tree kernel builder info and decide. Thanks for the pointer.