そして、デスクトップ用にはLinuxを誰もインストールしなくなりましたとさ。