Does anyone know what MacOS terminal is being used in the demo video and screenshots?