convert.json is the output of @actions/workflow-parser 0.3.61
(https://github.com/actions/languageservices, MIT, Copyright GitHub, Inc.) on
the workflow files in convert/, which are written for this repository. It is
generated by ../gen/convert.mjs. See ../../THIRD_PARTY.md.