Hacker News Reader

Actually, even for the Linux kernel, it's only a few hundred megabyte.

"Only" a few hundred megabyte is "really a lot" in many situations.

My bare Linux repository comes to 1.2GB. A git gc run got it down to 1.1GB.

Oh, true. I just checked. I think I mixed up two numbers.