Editing: mixpanel.strings.js