diff --git a/demos/translation.t2t b/demos/translation.t2t
index 428dd7acc..9ed59b42b 100644
--- a/demos/translation.t2t
+++ b/demos/translation.t2t
@@ -3,7 +3,7 @@ Powered by multilingual grammars
%!style:../css/style.css
%!postproc(html):
-%!postproc(html): #GFWCT
+%!postproc(html): #GFWCT
==Try it online==
diff --git a/src/www/gfse/cloud2.js b/src/www/gfse/cloud2.js
index dbb322ed8..318e2739e 100644
--- a/src/www/gfse/cloud2.js
+++ b/src/www/gfse/cloud2.js
@@ -272,3 +272,7 @@ function check_exp(s,cont) {
}
gfshell("cc "+s,check);
}
+
+// Lexing/unlexing text
+function lextext(txt,cont) { gfshell('ps -lextext "'+txt+'"',cont) }
+function unlextext(txt,cont) { gfshell('ps -bind -unlextext "'+txt+'"',cont) }
diff --git a/src/www/translator/translator.js b/src/www/translator/translator.js
index e124e3523..1c8dbede6 100644
--- a/src/www/translator/translator.js
+++ b/src/www/translator/translator.js
@@ -1193,9 +1193,6 @@ function save_in_cloud(filename,document,cont) {
with_dir(save)
}
-function unlextext(txt,cont) { gfshell('ps -bind -unlextext "'+txt+'"',cont) }
-function lextext(txt,cont) { gfshell('ps -lextext "'+txt+'"',cont) }
-
// Like lextext, but separate punctuation from the end
function lexgfrobust(txt,cont) {
function rmpunct(txt) {
diff --git a/demos/wc.html b/src/www/wc.html
similarity index 51%
rename from demos/wc.html
rename to src/www/wc.html
index 600afda3d..08c7c62e0 100644
--- a/demos/wc.html
+++ b/src/www/wc.html
@@ -1,21 +1,27 @@
Demo: GF Wide Coverage Translation
-
+
+
-
-
-
-Wide Coverage Translation
-
-