ARIA editors meeting agenda 2023-12-11

Hi everyone,

Agenda items for the next meeting:

* [continue] automation and synonyms (via aria#2073)
* [continue] modernizing aria.js (aria-common#104)
* [continue] PR/Merge process - next steps after deep dive?
* [continue] roll out prettier setup - tracked via aria-common#99
* [continue] retiring contributors.md across specs - tracked via
aria-common#103)
* [on Hold] spec markup for advice for AT (jnurthen)

If you want to add an issue or PR, please add the label "Agenda-Editors"
(or ping me).
Here's a link to search our repos for such issues.

Have a good weekend,
Peter.