scripts and tools for running the TEI infrastructure - View it on GitHub