I think the MBA 2020 will be great
the BTO quad-core i5 might have been better choice of CPU, but probably anything would work.
I did also buy a "refurb" ex-bank lease Lenovo T420 from an auction website, for Win10 (using the win7 licence that's usually stuck inside the ex-bank laptops) that was old dual-core i5, but does most jobs that an MBA can't , (has a few more ports)
some unis lend out Windows machines, generic Dells or whatever, if they need autocad etc