Didn't you hear? 2023 is the year of Linux on the desktop.