What happened with Linux in 2018