removed history.js from code (but see branch hashchangeUpdate4-13 for progress on using that, if we want to