docs: public String getLangDesc(String s) {
      if (s.equals("en"))
        return "English";
      if (s.equals("nl"))
        return "Nederlands (Dutch)";
      if (s.equals("de"))
        return "Deutsch (German)";
      if (s.equals("ru"))
        return "\u0440\u0443\u0301\u0441\u0441\u043a\u0438\u0439 (Russian)";
      return "\"" + s + "\"";
    }