Does anyone know which terminal emulator is used in all the examples? Looks very good!