Demo build, last commit before typed-term redev.