Dang, up a percent in a year? That actually is pretty notable for Linux. I know it’s gotten easier to install and use (easier distros), but could this be more a shift to mobile over windows or macos?