https://lifewireag.pages.dev/posts/the-difference-between-linux-and-gnu-linux/