Indeed. It's also worth mentioning that the very inexpensive Digital TV tuner "just works" (at least in Europe) and with tvheadend you can then stream the live

Indeed. It's also worth mentioning that the very inexpensive Digital TV tuner "just works" (at least in Europe) and with tvheadend you can then stream the live stream around your home network trivially. That's what the rpi4 running Kodi in our bedroom does at least. The streams are so in sync that you can listen to them on two separate devices in other bits of the house without an audio phase difference. Kodi is an amazing project and deserves much praise.