https://flnug.com/tech/leonardo/how-to-remove-linux-from-your-chromebook/