Change-Id: I967dbe189100d72b5de22f489106a96fe99eaad3
The repo is only used when the "only-terminal" profile is activated. See root README.md for more details.