This is deliberately not an asciicast recording.