To be honest, if a 15 year old machine is still working fine for somebody, and h.264 is fine (if you don't care about HDR/4k, it really sort of is!), I'm not sure the benefit of suggesting somebody junk a machine
I have considered, but so far there's no other hardware which has this form-factor with Libreboot support (although I'm unsure whether the X230 has x265 hw accel)