I think the mini PCs they're talking about are more likely to be N100 systems or similar that are sub 100 dollars new. Significantly less anemic, and their hardware media decode (which is well supported by software) is more than sufficient for realtime 4k playback.