Sync latest versions of HTML specs