Thanks! Re switching - yeah, I agree. What do most people do in this situation – buy second hand or find older devices and just boot Linux off those? Use separate drives and boot off those? Like, what are the typical range of hardware decisions facing someone who thinks they wanna give Linux a real go?