Hi, I'm looking for light efficient machine for business work. I don't want to fall into the apple hellhole, so I was thinking maybe some modern thinkpad with debian 12 would be a good-enough solution? I don't think I need anything more expensive than $300-$500. Cheers