An i18n linting tool for exercises

From #44718.