Share shortcut formatting between help/menu/messages#408

maribethb merged 3 commits intoRaspberryPiFoundation:mainRaspberryPiFoundation/blockly-keyboard-experimentation:mainfrom

microbit-matt-hillsdon:format-shortcuts2microbit-matt-hillsdon/blockly-keyboard-experimentation:format-shortcuts2Copy head branch name to clipboard