Mini PC as an arduino (IDE) programmer

Has anyone any experience using a mini PC with arduino. This, for example.

I have dabbled with arduino projects, but recently set up a dedicated electronics space and have a lot of ideas.
I have a 2009 MacBook Pro and an old (2004, I think) Dell PC.
Neither of these plays well with the boards I have and so I need new hardware.

Will one of these mini PCs (described as Windows 10 machines with Intel hardware) be suitable to run the IDE?

Apologies if this is covered elsewhere, but my search came up empty :confused: . Please redirect, if appropriate.