Maybe they’ll go back to “year of the Linux desktop”