pull down to refresh

Not that many more. An RPI4 consumes around 3-5W, and a Mini PC should be around 10-15W.
Yes it's a 3x difference, but still very low. Like leaving a LED light always on vs three of them.