Remove html5.js from repo, already pushed last commit