Hey CvH,
first I want to thank you for your work, keep it up. 
But I have a small issue with my TBS 5520 DVB-S2/-C/-T2 USB-Tuner. As stated, this is a multituner but with the official TBS drivers only the DVB-S2 interface shows up in tvheadend. When I use the OpenSource-Drivers, all 3 Tuners show up and are usable. Furthermore, I've some issues with a few HD-Channels on Astra 19,2°E. There is a stuttering but maybe this is an issue with tvh 4.2 or the TBS drivers.
My previous setup with vanilla LibreELEC, TVH 4.0 and a different tuner (TechnoTrend S2-3650CI) worked flawlessly... Today I've to crosscheck if the S2-3650CI still works as expected with TVH 4.2.
€dit: Looks like an issue with TVH4.2. With TVH4.0 everything works fine, no stuttering.