Just use Rufus, dude… You can even set the amount of space your image/deployment/instance (whatever the most correct term is lol) persists in, which makes it more convenient if (like me) you find yourself frequently wanting to play around with new and exciting distros.
Also, not to gang up on ya or anything either, but I’m gonna have to second the other commentor’s request for the info on that laptop, as I’ve never encountered one that prevented you from reformatting it… o_0 I would be returning the fuck out of that garbage… Even the non-ARM old chromebooks would let you do that.
Sizing the partitions is a step you (can) take when formatting the drive… And from what I can tell the Envy has an M2 nvme in it, and it just seems crazy to me to basically just ignore that to boot off of an SD card/USB drive…
How sure are you that you want to be using Linux? Lol