Thank you for the link, but it only provides information about how to setup the server side. That is already working fine for me. I can play over-the-air channels in a web browser on the server machine successfully.
It’s the Kodi player I cannot figure out how to play or interact with over-the-air Live TV / DVR channels.
edit After Googling some more, I see this option for Plex player on Linux:
I will give this a shot instead of the Kodi player, and see if it works better.