apply default-language to splashpage

copyparty/web/splash.html

@@ -97,6 +97,7 @@
 	<a href="#" id="repl">π</a>
 	<script>
 
+var lang="{{ this.args.lang }}";
 document.documentElement.className=localStorage.theme||"{{ this.args.theme }}";
 
 </script>

copyparty/web/splash.js

@@ -25,7 +25,7 @@ var Ls = {
 		"t1": "handling",
 	}
 },
-	d = Ls[sread("lang") || "{{ this.args.lang }}"];
+	d = Ls[sread("lang") || lang];
 
 for (var k in (d || {})) {
 	var f = k.slice(-1),