There are a lot of micro:bit coding tools which wrap the hardware under a thick layer of javascript. Great to get started, but unfortunate when you want to get to the next level: that wrapping hides ...