The Dell Latitude series also have superb Linux hardware support too. You can often get the series cheap like-new/refurbished on the web because business IT departments frequently liquidate them on upgrades. I got this Dell Latitude 7290 for $650 USD refurbished off Amazon a couple years ago[1]. It's been great!

[1] https://www.amazon.com/gp/product/B07P8C1PWY/ref=ppx_yo_dt_b...