OTA Olympics will be either 1080i or 720p. YouTube TV (paying for the "4K+" option) will supposedly deliver 4K Olympics, presumably with time shifting as well. This seems quite attractive, especially because I want to watch all the weird sports (e.g., short track speed-skating) that don't typically air in prime time.

Meanwhile, a broader update: we've finally got past the "how the hell does this stupid thing work?" phase of YouTube TV, and it's working reasonably well for us, with our main home theater TV running Android TV directly, and "Google Chromecast with Google TV" dongles on the other TVs. AT&T's data service has been uneventfully reliable. Really, to my surprise, I don't miss the TiVo much at all.