Add files from HTML5 v3.1.3 review