Add attribute to existing tag

Is it possible to add a new attribute to an existing HTML tag?

I have tried the following:
```json
{
"$schema": "https://json.schemastore.org/web-types",
"name": "Foo attribute",
"version": "0.0.1",
"contributions": {
"html": {
"elements": [
{
"name": "Foo attribute on script tag",
"extension": true,
"pattern": {
"or": ["script"]
},
"attributes": [
{
"name": "foo",
"value": {
"required": false
}
}
]
}
]
}
}
}
```

`foo` attribute are now allowed on `script` tags, but existing attributes (e.g. `defer`, `src` etc.) are now marked as errors (in IntelliJ IDEA 2023.3.1 - Build #IU-233.11799.300):