Changed how the names of tags that are automatically reopened extracted from the HTML specs