(user-friendly) error on semi-colon in command

also clean up some obsolete history expansion stuff

note to self: do not try to flirt with women after drinking coffee
3-second caching for command json resources
push hard-coded /ctrl url back to index.html

out of JS to keep that part independent of the hosting config