>>45 github からダウンロードするとローカルマシンでエディタが動く。
https://github.com/bbcmicrobit/PythonEditor
現在のバージョンは 1.1.3
editor.html をたたけばローカルで動く。