fix: make insert compile against rc/v12.0.0#510

microbit-matt-hillsdon wants to merge 1 commit intoRaspberryPiFoundation:mainRaspberryPiFoundation/blockly-keyboard-experimentation:mainfrom

microbit-matt-hillsdon:insert-fixmicrobit-matt-hillsdon/blockly-keyboard-experimentation:insert-fixCopy head branch name to clipboard