I think with your second point, that if SteamOS was being launched with HP as an OEM partner from the start, similar to the way Valve launched the Steam Machines, that it would be a valid worry. But with the Steam Deck being several years old, and HP not even being an original OEM partner with Lenovo just having launched a SteamOS device, that the likelihood of HP fucking things up at this point is incredibly low. Never say never though.