@gedankenstuecke Don't wait too long ;)
Some hints:
- ChatGPT is quite good in doing this kind of repititive task; you can use it to generate the JSON
- I (@pietervdvn) rather handle many small PRs then one big PR. A big PR takes a bigger time commitment, whereas small PR's can be done one by one in some lost minutes.
Furthermore, a big PR has a high chance of having one little issue blocking everything.