Update status of Linux in documentation