theoretically successful History.js integration, still WIP (#5)