Still rocking my 13 mini, with no intention to upgrade. Definitely need to replace the battery soon though.

Most BS thing I had to deal with HP ink was region-locked ink. If you buy the European version of the US ink (it’s literally the exact same thing with a different label) it will refuse to work unless you change the region of your printer. Good luck going through HP support

Depends on your own use case but I’ve been using BlissOS (https://blissos.org/) on an old HP Elite X2. As Bliss is essentially just Android-x86, it’s fairly polished; only thing that I haven’t figured out is configuring the hardware volume buttons.