Hi, it is really nice that there is a new extension. I am starting a new little micro:bit project, but I really got tripped up by the name of the new extension: 20190701. ??? That is almost a year ago! It took me quite some time and searching until I found that it is really the latest one.
I am looking forward now to using it!
Cheers, Ghica.