Status update:
As it happens, I took the opportunity of having the phone on the dev channel to re-test an application that typically froze the GUI (the app called "Steps" -- I already opened a bug report on that specific issue). Turns out the behaviour was the same on v763, so I wanted to force a power cycle by rebooting the phone on the recovery image (Power + Vol+).
But instead of the recovery menu, I was greeted by the spiralling animation: the phone was clearly installing something. When it finished rebooting, I was back on OTA-20, and both SIMs were still active!
Following @DPITTI suggestion, I also removed v763 from the upgrade history.
I'll now mark this post as "resolved". Many thanks to all those who contributed.