After I download the ISO file for it, I'm going to follow Les's instructions for how to dual boot Linux with Windows. So I'm going to install it on both my laptop, a ThinkPad X1 Carbon (12th gen) ...