Thank you so much for your patience and the detailed reply, Fabrice!
[specs/ledger.md at master · algorandfoundation/specs · GitHub]
I still have one more question. From here, it states that The previous hash is a cryptographic hash of the previous block header in the sequence of blocks. So the hash here contains the field ParticipationUpdates, even though it’s optional, right?