As I said, I do not know all details, maybe not that much, but still it won't change my decision to buy laptop locally.

PS. I would like to go back on thread topic to read some more opinions about the laptops.

Checked a few websites and indeed, most available 10 gen stuff is pretty much Microsoft Surfaces and generic 2-in-1 laptops.
I guess you pretty much nailed all the options, unless you can find a deal on Ryzen 2500u/2700u, like the HP EliteBook 745 G5 - 14" that fits into your budget.
Just a heads up, I've seen a model or two with 100mbps ethernet ports instead of gigabit, not likelly to happen on a professional grade device of course.
I cannot understand how in 2019 there are still laptops that ship with slower cable connection than wireless O.o

Fair enough, on both points....best of luck to you. :)

I can't speak for the models you're looking at, but I've been pleased with Lenovos so far and don't see a reason to avoid the brand. My parents have had a few, I had some basic model when I was a student, my wife's running a Yoga for work and leisure, and I recently replaced the battery for my two-and-a-half-year-old IdeaPad 510 (piece of cake). No Ryzens on any of them, though.