Gmail creator Paul Buchheit on the very first version of Google’s “Did you mean?” feature