That jumped out to me too. Seems incredible that the reason the system exists at all, has become a “weird” way to use it. You can git clone the kernel just like any other repo on github, so no big deal.