JS: switch from josh.js console to jqconsole.

js/web/jqconsole.min.js and web/ansi.css are from
https://github.com/replit/jq-console and licensed MIT.

1 files changed, 1 insertions, 0 deletions

diff --git a/docs/TODO b/docs/TODO
index 0d5d28b..22321ff 100644
--- a/docs/TODO
+++ b/docs/TODO
@@ -32,6 +32,7 @@ Java:
     - step9_interop
 
 Javascript:
+    - switch to himera page/styling for online console
 
 Make:
     - allow '_' in make variable names