A mini oral history of the Mailchimp high five