micro:bit のサイトを見てたらサードパーティのエディタが紹介されてた。
edublocks と言うのが、ブロックプログラムから直接Pythonに落としてくれる。 どんなpython が出来たかすぐ見れるから良い。
ただし英語だけどね。
https://microbit.edublocks.org/

Windows から見ると、save はxml 、hex はhex 、Python はpy でダウンロードすることが出来るが、

iPhoneから見ると、hex 以外はblob:http://xxxxx としてブラウザに表示されるだけ。
形式としては全てblobとして渡してるだけだから、拡張子によって受け取るソフトがあるか無いかで動きが違ってるのかな？