fix to isabelle
show chat messages as toasts
remove codemirror js
unimportant stuff