Everything looks ok on the prod deployment, except for verification (which is deactivated, so has no impact).
These issues with verification will need to be evaluated, but can be done it parallel with future releases (see #223 and #224)

Vlado will need to do some tests before we release, but we have the consensus to move on.
It would be very desirable to release this before Christmas (in the space of 2 weeks), so that it can be used and evaluated during that period.
We will merge the branch to main (squashed) before releasing.