Don't load text.js - no longer needed in v3.20

exec/default.js

@@ -10,8 +10,7 @@ require("userdefs.js", "UFLAG_T");
 require("nodedefs.js", "NODE_MAIN");
 require("key_defs.js", "KEY_UP");
 require("gettext.js", "gettext");
-require("text.js", "Pause");
-bbs.revert_text(Pause);
+bbs.revert_text(bbs.text.Pause);
 load("termsetup.js");
 var shell = load({}, "shell_lib.js");