Re: [NTG-context] [OT] Turing award for Leslie Lamport