Feedback from an educator about installing the hex file: I think it would be good to explain on the Scratch microbit website that the HEX file needs to be extracted from the ZIP file to be dragged ...
This ScratchX extension lets you control your BBC micro:bit wirelessly using Scratch programming blocks. You can use this new blocks to design a whole new way of interacting with your Scratch projects ...