// when adding a language code here, it is necessary to add its locale to the system, to the "localemap" function in localemap.php, and to "langs" variable in "../../clitools/updtrans.bash" (if missing), and to run "../../clitools/addlang.php <new language code>" locally and on the server --- it is *no longer necessary* to modify "$menu" variable in "../index.php", "$hlmap" variable in "../stats.php", "$hitslang" and "$langs" variables in "../../clitools/mustool.php" and "getlangid" function in "../../clitools/getinstinfo.php"