Upgrade HTML indentation lib to js-beautify.
Update history.