These files are a partial dump of https://android.googlesource.com/?format=json.

