It seems like the development of this thing was a shitshow, the version they ended up shipping (very late) has an unpopulated HDMI port and comes with a USB-C to HDMI dongle instead, and has no FCC certifications. The main HDMI encoder was so broken that they couldn't salvage it, and their last resort was to ship a half baked prototype.