Fix 'authors' of HTML5 and have different entries for HTML5 and 5.1