Adding a few HTML5-related attributes and elements that were missing