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