Translations for NINJA-IDE and website