chore: Merge `master` back into `develop` following v11.2.0 release#8701

gonfunko merged 8 commits intodevelopRaspberryPiFoundation/blockly:developfrom

masterRaspberryPiFoundation/blockly:masterCopy head branch name to clipboard