Merge into fork's `main` branch
Since the JSON export itself works, merge with this fork's main branch and continue from there.
Since the JSON export itself works, merge with this fork's main branch and continue from there.
enabled an automatic merge when the pipeline for 326da97b succeeds
mentioned in commit c7b910c2
merged