TeXstudio manual translation for Japanese