Mixpanel People Export

adds the current to to mixpanel export group" button downloaded will csv. mixpanel people the bookmarklet the mixpanel big pressed, people. view "export button a this an extension thanks is be as when (https://github.com/fgribreau/mixpanel_export_people).