Added some super properties to Mixpanel.