Should we add comment to the translators in this file, `Translators: Do not translate "edX"`?