don't want to derail the RPi4 celebration, but for this specific purpose (media centre) I've been super happy with Nvidia Shield. You can often pick them up for $150 on a sale, less on ebay. 4k HDR, runs Android TV (some people have managed to get Ubuntu running on it too), VLC/Kodi work well, Moonlight works well for game streaming from another gaming PC with NVidia card. It's super zippy, too, and quite small (though bigger than RPi).
Yeah, the Shield seems to be the standard here. If we can get confirmation that the Pi works, we'll have an alternative that is much cheaper and is more useful as a general purpose platform!
