We use Weblate to translate.
You can still edit these files manually though. If you decide to do so, in order to avoid merge conflicts it's best to base your work on the latest changes, from the Weblate git remote (https://hosted.weblate.org/git/jump-cutter/extension-ui/), translations
branch.