Don't even frob console.terminal.

exec/loadfont.js

@@ -105,7 +105,6 @@ function loadfont()
 		version=version.replace(/c/,"");
 		CTerm_Version=version;
 		ver=version.split(/;/);
-		console.terminal="CTerm;"+ver.join(";");
 		console.ctrlkey_passthru=oldctrl;
 	}
 	else {

exec/pickfont.js

@@ -56,7 +56,6 @@ function pickfont()
 			version=version.replace(/c/,"");
 			CTerm_Version=version;
 			ver=version.split(/;/);
-			console.terminal="CTerm;"+ver.join(";");
 			console.ctrlkey_passthru=oldctrl;
 		}
 	}