Running DVB-S2 for many years and SAT>IP (think of it as Satellite decoding to rstp) seems to be the way. I’ve not thought about a smaller PC to host my current card and welcome your suggestion. I’d github’d minisatip a few weeks ago and the penny didn’t drop!
I had planned to go for an Enigma2 based device and go from there.