Only translate text; respect 'translation' flag on request
Merge branch 'github-main' of github.com:plomino/Plomino into github-main