Thanks, eventually I couldn’t reproduce, I disabled the startup sound once more and this time the speakers were unmuted at boot.
The audio device was the default one on my laptop, “Family 17h/19h/1ah HD Audio Controller Analog Stereo”.
I’ve also moved back to tumbleweed since posting and I couldn’t reproduce this there, neither, so I think this thread can be closed.