In case anyone is interested in other Linux-friendly laptops: after reading Joshua Stein's review I got a MateBook X and have been really enjoying it for the past year.

https://jcs.org/2021/08/20/matebook