3 ms·did you send the email to tips@techcrunch or directly to mike?by vaksel 16y agodid you send the email to tips@techcrunch or directly to mike?