removed email addresses per OSDI close-out meeting