I don't think it's worth switching. (html5.js is also minimised)