Precompile html5.js explicitly

(external to any manifest)