Support for USB DVB-S2 tuner

Yes - wholeheartedly agree. Either an IP tuner (I use HD HomeRun for DVB-T/T2 and Telestar DigiBit R1 for DVB-S/S2 running third party axe firmware) and/or a separate Linux box running TV Headend (running a recent Linux kernel). I’ve run TVHeadend on VMs running Ubuntu server in the past with IP tuners and that’s been a neat solution. IP Tuners and/or a separate Linux box running TV Headend also means your Kodi CoreElec box etc. doesn’t need to be physically near your antenna/aerial or LNB feeds (only the IP tuners or TV Headend server need to be physically connected)

This approach avoids having to trouble shoot USB tuners every time you replace your CoreElec box…