Actually, HelloWorld.html and index.html probably doesn't belong here either.  I don't know when it snuck in here while I wasn't looking.  You don't need to change it though, I'll investigate separately.