Did you have to erase the drive?…Too late, I’ve pushed the nuke button and went Recovery, thinking Apple-iOS way.
But thank you very much for the link! (perhaps will need later!)
( I’m writing from iPad as my MacBook tries to install last OS from “start options“, and hope this time things will work!)