Fixes some quotes in HTML5 docs