JSON roleInfo.js is not updated

[giacomo-petri]

trafficstars

The JSON file available at https://github.com/w3c/aria/blob/main/common/script/roleInfo.js is outdated. For instance, the aria-braillelabel property cannot be utilized in:

caption, code, definition, deletion, emphasis, generic, insertion, mark, none, paragraph, strong, subscript, suggestion, superscript, term, time

(and presentation, which is a synonym of none), but the JSON file does not include this information.

Moreover, the array associated with the "allProps" key appears to be unnecessary.