Terminal display unicode?

[simonleary-umass-edu (simon)]

There is a years-old pull request that fixes this issue, I just downloaded the hterm javascript from there:
https://github.com/c3se/ondemand/blob/82558c98593ac10e0312eab7eebb5b7f3301fb4e/apps/shell/public/javascripts/hterm_all_1.91.mod.js