Does anyone know what terminal is being used in the demo? It looks really clean.