@2fd7551e not really, you just have to search for it there if you have ~200GB of free disk space you can also download a local copy: https://source.android.com/docs/setup/download/downloading
@2b4c2608 oh, sorry, I thought you were familiar with the AOSP internals?