Just for awareness, the GitHub actions that try to update the API dump are currently broken: Example: https://github.com/Corecii/api-dump-static/actions/runs/13248468686/job/36980554572 This is going on since December or so.