The deployment workflow appears to have failed: the latest commits and fixes in #461 were merged, but they are not live in production. Here's the GitHub Action run: https://github.com/italia/publiccode-editor/actions/runs/16468828125/job/46552717405