On Wed, 29 Nov 2017, D. Hugh Redelmeier wrote: > We should delete it since even the team members cannot spell it. I for one, do not welcome our AI auto-correct overlords :)