Removing a metric tonne of unused javascript.  Shouldn't break stuff, but if it does, whatever is broken deserves the brokenness.  Fixes #372.