I can't for the life of me figure out what the html5.js and html5-respond.js files are. But they both have a comment at the top that says "Uncompressed source: https://github.com/aFarkas/html5shiv". So I *think*
html5.js == html5shiv.js
html5-respond.js seems to be that plus some other stuff (not sure what though or where it comes from).
Why rename these files?