3 ms·

And they don't have to. They can keep using the PC they have until 2025. After that, there's always Linux Mint.