The kernel named Linux seems to be getting bigger & bigger. The uncompressed tarball of 4.13.2 is 780MB after running the Linux-libre deblob scripts on it. I wonder if a celebration is planned once it hits 1GB?