Coauthor of the blog post here. You're right, I said it on the live stream we had today but forgot to mention it in the blog post: the i5 is from a Lenovo ThinkCentre M72e. They're available refurbished for less than the cost of a Pi 4 these days, so it seemed to be a good comparison!