Document how to regenerate the translation files after adding a new translation key

[502E532E]

Describe the request

I created a pull request (#2718) that includes a new translation key. Although it worked on my local computer, the GitHub Actions Check for translation files (Check Internationalization / check) failed. By looking at the logs of the failed check, I found that running yarn i18n:generate resolves this. But I am still not sure if that is the correct way to resolve this (although I assume it is).

There should be a section in the docs (presumably the pull request guide) that explains how to proceed after adding a new translation key and explain the implications.

Describe the current behavior

There is no mention in the docs. The command I used is not documented anywhere in the repo.

> grep -r arduino-ide/ -e i18n:generate
arduino-ide/package.json:    "i18n:generate": "theia nls-extract -e vscode -f \"+(arduino-ide-extension|electron-app|plugins)/**/*.ts?(x)\" -o ./i18n/en.json",
arduino-ide/package.json:    "i18n:check": "yarn i18n:generate && git add -N ./i18n && git diff --exit-code ./i18n",

Arduino IDE version

2.3.7

Operating system

Linux

Operating system version

6.14.2-arch1-1

Additional context

No response

Issue checklist

• I searched for previous requests in the issue tracker
• I verified the feature was still missing when using the latest nightly build
• My request contains all necessary details