merging into Verso main

Stream: nightly-testing

[Kim Morrison]

@David Thrane Christiansen, I opened https://github.com/leanprover/verso/pull/462, but I can't rebase merge this... If you're available could you take a look and advise what I did wrong. For now I'm going to proceed on different branches of the release process. :-)

[David Thrane Christiansen]

Will do, thanks

[Kim Morrison]

Oh, I failed to read your message on the other Zulip.

[Kim Morrison]

I'm going to assume that still holds, and I will squash merge verso#462.

[David Thrane Christiansen]

That was the right thing to do - thanks!