The biggest problem with the HP laptop is that the Intel 3160 wireless chip doesn’t work. Something to do with BlueTooth.
Here’s some information about the problem.
I just got one of these. My plan is to install Linux on it and use it whenever I’m upstairs. I’ll let you know how things turn out.