I18n library used in gui.html.